summaryrefslogtreecommitdiff
path: root/compiler/GHC/Hs
Commit message (Expand)AuthorAgeFilesLines
* Reject nested foralls/contexts in instance types more consistentlywip/T18240Ryan Scott2020-06-271-48/+169
* 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
* Typos in comments [skip ci]Krzysztof Gogolewski2020-03-102-3/+3
* Use InstanceSigs in GND/DerivingVia-generated code (#17899)Ryan Scott2020-03-091-1/+2
* Remove dead codeKrzysztof Gogolewski2020-03-021-6/+1
* Modules: Core (#13009)Sylvain Henry2020-02-263-3/+3
* Remove dead codeKrzysztof Gogolewski2020-02-262-3/+0
* Comments, small refactorKrzysztof Gogolewski2020-02-241-24/+0
* Remove Ord SrcLoc, Ord SrcSpanVladislav Zavialov2020-02-242-3/+2
* Use Type instead of * in GHCBen Gamari2020-02-203-8/+11
* GHC.Hs.Extension: Use Type instead of *Ben Gamari2020-02-201-1/+1
View Lorry Controller Status