summaryrefslogtreecommitdiff
path: root/compiler/rename/RnTypes.hs
Commit message (Expand)AuthorAgeFilesLines
* Scoped kind variables (#16635)wip/scoped-kind-variablesVladislav Zavialov2019-05-081-1/+6
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-2/+2
* Stop inferring over-polymorphic kindsSimon Peyton Jones2019-03-091-12/+2
* Visible dependent quantificationRyan Scott2019-03-011-6/+9
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-285/+195
* 'forall' always a keyword, plus the dot type operatorVladislav Zavialov2019-02-151-7/+1
* API Annotations: AnnAt disconnected for TYPEAPPAlan Zimmerman2019-02-081-5/+5
* Fix #16114 by adding a validity check to rnClsInstDeclRyan Scott2019-01-151-7/+0
* Fix #16133 by checking for TypeApplications in rnExprRyan Scott2019-01-061-6/+2
* Visible kind applicationmynguyen2019-01-031-63/+50
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-241-68/+84
* Finish fix for #14880.Tobias Dammers2018-10-281-13/+8
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-271-22/+31
* De-monadise the 'extract' functions in RnTypesSimon Peyton Jones2018-10-261-96/+88
* Rename kind vars in left-to-right order in bindHsQTyVarsRyan Scott2018-08-281-9/+77
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-14/+5
* Note [Ordering of implicit variables]Richard Eisenberg2018-07-101-0/+5
* Remove HsEqTy and XEqTyRyan Scott2018-06-201-9/+0
* Warn about implicit kind variables with -WcompatVladislav Zavialov2018-06-161-0/+15
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-159/+27
* vectorise: Put it out of its miseryBen Gamari2018-06-021-8/+1
* TTG : complete for balance of hsSyn ASTAlan Zimmerman2018-04-271-13/+26
* Fix #14710 with more validity checks during renamingRyan Scott2018-04-191-33/+51
* Restore Trees That Grow reverted commitsAlan Zimmerman2018-04-091-163/+174
* Allow PartialTypeSignatures in standalone deriving contextsRyan Scott2018-03-231-7/+27
* Simplify rnLHsInstTypeSimon Peyton Jones2018-03-051-14/+3
* Wombling around in Trac #14808Simon Peyton Jones2018-03-051-14/+21
* Get rid of some stuttering in comments and docsGabor Greif2017-12-191-1/+1
* Refactor ConDecl: Trac #14529Simon Peyton Jones2017-12-071-43/+52
* Revert "trees that grow" workBen Gamari2017-11-211-174/+163
* TTG3 Combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-141-8/+7
* WIP on combined Step 1 and 3 for Trees That Grow, HsExprAlan Zimmerman2017-11-111-20/+21
* WIP on Doing a combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-081-136/+147
* Revert "WIP on combining Step 1 and 3 of Trees That Grow"Ben Gamari2017-11-071-147/+136
* WIP on combining Step 1 and 3 of Trees That GrowAlan Zimmerman2017-11-071-136/+147
* Do not quantify over deriving clausesSimon Peyton Jones2017-10-121-9/+13
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Implicitly bind kind variables in type family instance RHSes when it's sensibleRyan Scott2017-09-051-2/+13
* Fix egregious duplication of vars in RnTypesRyan Scott2017-09-051-29/+102
* Add comments to RnTypesSimon Peyton Jones2017-08-301-34/+119
* Refactor bindHsQTyVars and friendsSimon Peyton Jones2017-08-291-244/+196
* Use NonEmpty lists to represent lists of duplicate elementsRyan Scott2017-08-121-3/+4
* Use field names for all uses of datacon MatchSimon Peyton Jones2017-07-311-1/+1
* Fix #11963 by checking for more mixed type/kindsRichard Eisenberg2017-07-271-5/+20
* Fix #13947 by checking for unbounded names moreRyan Scott2017-07-111-2/+3
* change filtering of variables in extract_hs_tv_bndrs (fixes #13782)Carlos Tomé2017-06-211-79/+28
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-103/+108
* A few typos [ci skip]Gabor Greif2017-06-021-1/+1
* Split up RnEnv into 4 modules, RnUnbound, RnUtils and RnFixityMatthew Pickering2017-04-121-0/+6
* Fix #13337.Richard Eisenberg2017-03-141-3/+11
View Lorry Controller Status