summaryrefslogtreecommitdiff
path: root/compiler/GHC/Hs/Type.hs
Commit message (Expand)AuthorAgeFilesLines
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-162/+387
* Restrict Linear arrow %1 to exactly literal 1 onlyAlan Zimmerman2020-11-031-2/+2
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-2/+2
* Split HsConDecl{H98,GADT}DetailsRyan Scott2020-10-301-3/+16
* Check for large tuples more thoroughlywip/T18723Ryan Scott2020-10-291-8/+5
* Split GHC.Driver.TypesSylvain Henry2020-10-291-0/+1
* API Annotations: Keep track of unicode for linear arrow notationwip/az/unicode-hsscaledAlan Zimmerman2020-10-201-21/+22
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-14/+11
* ApiAnnotations : preserve parens in GADTsAlan Zimmerman2020-10-091-7/+11
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-291-2/+2
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-2/+2
* Make the forall-or-nothing rule only apply to invisible foralls (#18660)Ryan Scott2020-09-081-4/+7
* Make {hsExpr,hsType,pat}NeedsParens aware of boxed 1-tuplesRyan Scott2020-08-271-0/+14
* Use LIdP rather than (XRec p (IdP p))Simon Peyton Jones2020-08-251-13/+4
* Remove ConDeclGADTPrefixPsRyan Scott2020-08-021-5/+7
* Clean up the inferred type variable restrictionRyan Scott2020-07-301-0/+6
* Simplify XRec definitionZubin Duggal2020-07-251-40/+40
* Remove unused function pprHsForAllExtra (#18423)Krzysztof Gogolewski2020-07-071-27/+4
* Reject nested foralls/contexts in instance types more consistentlyRyan Scott2020-06-301-48/+169
* Use NHsCoreTy to embed types into GND-generated codeRyan Scott2020-06-281-25/+39
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-47/+47
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-9/+77
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-131-56/+79
* Always use rnImplicitBndrs to bring implicit tyvars into scopeRyan Scott2020-06-101-1/+8
* Make GADT constructors adhere to the forall-or-nothing rule properlyRyan Scott2020-06-091-1/+39
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+3
* Rename the singleton tuple GHC.Tuple.Unit to GHC.Tuple.SoloTom Ellis2020-06-011-2/+2
* Rename GHC.Hs.Types into GHC.Hs.TypeSylvain Henry2020-05-241-0/+1822
View Lorry Controller Status