summaryrefslogtreecommitdiff
path: root/compiler/GHC/Hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Use TTG for HsSplicedT constructorKrzysztof Gogolewski2020-02-201-6/+11
* Disentangle DynFlags and SDocSylvain Henry2020-02-203-33/+30
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-146-16/+16
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-1/+2
* Introduce IsPass; refactor wrappers.Richard Eisenberg2020-02-0813-891/+480
* Remove unnecessary parenthesesRichard Eisenberg2020-02-081-14/+14
* slightly better named cost-centres for simple pattern bindings #17006Adam Sandberg Eriksson2020-02-081-0/+19
* Fix scoping of TyCon binders in TcTyClsDeclsSimon Peyton Jones2020-02-011-5/+20
* Disable two warnings for files that trigger themTom Ellis2020-01-273-0/+6
* Use splitLHs{ForAll,Sigma}TyInvis throughout the codebaseRyan Scott2020-01-271-31/+8
* Do not bring visible foralls into scope in hsScopedTvswip/T17687Ryan Scott2020-01-251-14/+18
* Handle local fixity declarations in DsMeta properlyRyan Scott2020-01-251-15/+62
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-124-10/+10