summaryrefslogtreecommitdiff
path: root/compiler/GHC/Rename/HsType.hs
Commit message (Expand)AuthorAgeFilesLines
* API Annotations: Keep track of unicode for linear arrow notationwip/az/unicode-hsscaledAlan Zimmerman2020-10-201-7/+7
* Make DataKinds the sole arbiter of kind-level literals (and friends)Ryan Scott2020-10-141-13/+11
* Linear types: fix quantification in GADTs (#18790)Krzysztof Gogolewski2020-10-101-2/+6
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-5/+4
* Refactor: remove rnHsDocVladislav Zavialov2020-10-011-5/+2
* Remove outdated comment in rnHsTyKiVladislav Zavialov2020-09-271-4/+0
* Don't rearrange (->) in the renamerVladislav Zavialov2020-09-271-36/+26
* Make the forall-or-nothing rule only apply to invisible foralls (#18660)Ryan Scott2020-09-081-13/+39
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Clean up the inferred type variable restrictionRyan Scott2020-07-301-39/+10
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-7/+34
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-131-17/+39
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-2/+2
* Always use rnImplicitBndrs to bring implicit tyvars into scopeRyan Scott2020-06-101-104/+121
* Simplify bindLHsTyVarBndrs and bindHsQTyVarswip/simply-bind-tyvarsRyan Scott2020-06-051-26/+60
* Rename GHC.Hs.Types into GHC.Hs.TypeSylvain Henry2020-05-241-4/+4
* Fix #18145 and also avoid needless work with implicit varsJohn Ericson2020-05-231-59/+56
* Explicit SpecificityGert-Jan Bottu2020-05-211-28/+60
* Factor out HsPatSigType for pat sigs/RULE term sigs (#16762)Ryan Scott2020-05-131-39/+68
* Add `forAllOrNothing` function with noteJohn Ericson2020-05-081-23/+39
* A few tiny style nits with renamingJohn Ericson2020-05-081-7/+7
* Rename local `real_fvs` to `implicit_vs`John Ericson2020-05-081-4/+6
* HsSigWcTypeScoping: Pull in documentation from stray locationJohn Ericson2020-05-081-14/+16
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-6/+6
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-231-8/+27
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-12/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+1764
View Lorry Controller Status