summaryrefslogtreecommitdiff
path: root/compiler/GHC/Hs
Commit message (Expand)AuthorAgeFilesLines
...
* Remove ConDeclGADTPrefixPsRyan Scott2020-08-024-90/+52
* Clean up the inferred type variable restrictionRyan Scott2020-07-301-0/+6
* Simplify XRec definitionZubin Duggal2020-07-2511-240/+288
* Accumulate Haddock comments in P (#17544, #17561, #8944)Vladislav Zavialov2020-07-213-2/+58
* Remove {-# CORE #-} pragma (part of #18048)Krzysztof Gogolewski2020-07-181-11/+0
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-143-32/+205
* 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
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-1/+1
* Use NHsCoreTy to embed types into GND-generated codeRyan Scott2020-06-282-162/+40
* Don't generalize when typechecking a tuple sectionKrzysztof Gogolewski2020-06-271-1/+1
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-262-26/+49
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-258-321/+321
* Expunge GhcTcIdSimon Peyton Jones2020-06-252-5/+4
* Linear types (#15981)Krzysztof Gogolewski2020-06-175-23/+128
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-135-71/+108
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-103-5/+5
* 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-094-47/+218
* Simplify bindLHsTyVarBndrs and bindHsQTyVarswip/simply-bind-tyvarsRyan Scott2020-06-051-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-052-5/+7
* GHC.Hs.Instances: Compile with -O0Ben Gamari2020-06-041-0/+7
* Clean up boot vs non-boot disambiguating typesJohn Ericson2020-06-041-5/+5
* Rename the singleton tuple GHC.Tuple.Unit to GHC.Tuple.SoloTom Ellis2020-06-013-4/+4
* Rename GHC.Hs.Types into GHC.Hs.TypeSylvain Henry2020-05-247-10/+10
* Implement cstringLength# and FinalPtrAndrew Martin2020-05-231-1/+1
* Explicit SpecificityGert-Jan Bottu2020-05-214-82/+121
* Factor out HsPatSigType for pat sigs/RULE term sigs (#16762)Ryan Scott2020-05-135-12/+135
* Fully remove PprDebugSylvain Henry2020-05-013-20/+21
* Allow LambdaCase to be used as a command in proc notationAlexis King2020-04-302-0/+13
* Unit: split and rename modulesSylvain Henry2020-04-302-2/+2
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-2615-48/+235
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-233-179/+319
* Do eager instantation in termsSimon Peyton Jones2020-04-222-7/+14
* Modules (#13009)Sylvain Henry2020-04-187-133/+133
* Use FailOperator in more places, define a couple datatypes (XBindStmtRn and X...Cale Gibbard2020-04-173-13/+28
* Use trees that grow for rebindable operators for `<-` bindsJohn Ericson2020-04-172-38/+54
* Change the fail operator argument of BindStmt to be a MaybeCale Gibbard2020-04-172-8/+9
* Handle promoted data constructors in typeToLHsType correctlyRyan Scott2020-04-081-1/+6
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-079-223/+82
* Modules: type-checker (#13009)Sylvain Henry2020-04-077-38/+38
* Minor cleanupKrzysztof Gogolewski2020-03-291-1/+1
* Modules: Types (#13009)Sylvain Henry2020-03-2912-71/+71
* Fix ApplicativeDo regression #17835Josef Svenningsson2020-03-231-8/+17
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-202-37/+37
* Fix #17021 by checking more return kindsRichard Eisenberg2020-03-171-2/+15
* Modules: Core (#13009)Sylvain Henry2020-03-168-23/+23
* Remove unused field var_inline (#17915)Krzysztof Gogolewski2020-03-142-4/+2
* pretty-printer: Do not print ApplicativeDo joinKirill Elagin2020-03-121-4/+3
* pretty-printer: Properly parenthesise LastStmtKirill Elagin2020-03-122-6/+12
View Lorry Controller Status