summaryrefslogtreecommitdiff
path: root/compiler/rename/RnSource.hs
Commit message (Expand)AuthorAgeFilesLines
* Drop the orphan roles check (#16941)Vladislav Zavialov2019-07-191-34/+11
* Use an empty data type in TTG extension constructors (#15247)Ryan Scott2019-07-091-65/+65
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-7/+47
* Use HsTyPats in associated type family defaultsRyan Scott2019-05-221-51/+47
* Guard CUSKs behind a language pragmaVladislav Zavialov2019-05-141-1/+2
* base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` insteadHerbert Valerio Riedel2019-03-221-43/+0
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-11/+11
* Stop inferring over-polymorphic kindsSimon Peyton Jones2019-03-091-3/+1
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-051-3/+2
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-10/+6
* Fix #16116 by removing badAssocRhsRyan Scott2019-01-151-15/+15
* Fix #16114 by adding a validity check to rnClsInstDeclRyan Scott2019-01-151-6/+20
* Add -Wmissing-deriving-strategieschessai2019-01-061-0/+25
* Visible kind applicationmynguyen2019-01-031-18/+13
* Comments onlySimon Peyton Jones2018-12-211-2/+4
* Fix #16002 by moving a validity check to the renamerRyan Scott2018-12-201-14/+43
* Fix #15828, from `More explicit foralls`Matthew Yacavone2018-11-291-1/+6
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-241-93/+112
* Fix unused-import warningsDavid Eichmann2018-11-221-1/+1
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-271-43/+80
* De-monadise the 'extract' functions in RnTypesSimon Peyton Jones2018-10-261-13/+13
* Buglet in reporting out of scope errors in rulesSimon Peyton Jones2018-09-231-4/+4
* Fix redundant imports of ClassBen Gamari2018-08-211-1/+0
* Add a solveEqualities to tcClassDecl1Simon Peyton Jones2018-08-211-2/+1
* Add comment explaining change in syntax error suggestion for #12146.Aditya2018-08-171-0/+4
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-3/+2
* Instantiate GND bindings with an explicit type signatureRyan Scott2018-07-051-1/+1
* Fix API Annotations for GADT constructorsAlan Zimmerman2018-06-191-1/+1
* Typofixes in docs and comments [ci skip]Gabor Greif2018-06-181-1/+1
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-3/+1
* Introduce DerivingViaRyan Scott2018-06-041-22/+136
* vectorise: Put it out of its miseryBen Gamari2018-06-021-59/+7
* Used named fields for DataDeclRnSimon Peyton Jones2018-05-081-3/+6
* TTG : complete for balance of hsSyn ASTAlan Zimmerman2018-04-271-102/+157
* Fix #14710 with more validity checks during renamingRyan Scott2018-04-191-1/+1
* Comments onlySimon Peyton Jones2018-04-171-3/+1
* TTG for HsBinds and Data instances Plan BAlan Zimmerman2018-04-131-7/+7
* Restore Trees That Grow reverted commitsAlan Zimmerman2018-04-091-14/+15
* Allow PartialTypeSignatures in standalone deriving contextsRyan Scott2018-03-231-1/+1
* Wombling around in Trac #14808Simon Peyton Jones2018-03-051-3/+6
* Rename the types in a GADT constructor in toposorted orderRyan Scott2018-02-181-1/+4
* Simplify HsPatSynDetailsSimon Peyton Jones2017-12-211-1/+1
* Get rid of some stuttering in comments and docsGabor Greif2017-12-191-1/+1
* Refactor ConDecl: Trac #14529Simon Peyton Jones2017-12-071-39/+77
* Make use of boot TyThings during typechecking.Edward Z. Yang2017-11-301-120/+0
* Revert "trees that grow" workBen Gamari2017-11-211-15/+14
* WIP on combined Step 1 and 3 for Trees That Grow, HsExprAlan Zimmerman2017-11-111-7/+8
* WIP on Doing a combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-081-7/+7
* Revert "WIP on combining Step 1 and 3 of Trees That Grow"Ben Gamari2017-11-071-6/+6
* WIP on combining Step 1 and 3 of Trees That GrowAlan Zimmerman2017-11-071-6/+6