summaryrefslogtreecommitdiff
path: root/compiler/GHC/Rename
Commit message (Expand)AuthorAgeFilesLines
* DynFlags: store default depth in SDocContext (#17957)Sylvain Henry2020-06-181-1/+1
* Linear types (#15981)Krzysztof Gogolewski2020-06-172-14/+44
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-132-20/+42
* Refactor homeUnitSylvain Henry2020-06-132-3/+3
* Fix lookupGlobalOccRn_maybe sometimes reporting an errorLuke Lau2020-06-102-60/+104
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-104-9/+9
* Always use rnImplicitBndrs to bring implicit tyvars into scopeRyan Scott2020-06-102-160/+194
* Make GADT constructors adhere to the forall-or-nothing rule properlyRyan Scott2020-06-091-14/+61
* Simplify bindLHsTyVarBndrs and bindHsQTyVarswip/simply-bind-tyvarsRyan Scott2020-06-053-44/+77
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+2
* Clean up boot vs non-boot disambiguating typesJohn Ericson2020-06-042-13/+17
* 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-232-78/+93
* Explicit SpecificityGert-Jan Bottu2020-05-215-53/+93
* Use Data.IntMap.disjointSimon Jakobi2020-05-141-3/+3
* Improve some folds over Uniq[D]FMSimon Jakobi2020-05-141-2/+2
* Ensure that printMinimalImports closes handleBen Gamari2020-05-131-3/+2
* Handle single unused importJeff Happily2020-05-131-1/+8
* Factor out HsPatSigType for pat sigs/RULE term sigs (#16762)Ryan Scott2020-05-135-47/+76
* Reject all duplicate declarations involving DuplicateRecordFields (fixes #17965)Adam Gundry2020-05-081-5/+7
* Add `forAllOrNothing` function with noteJohn Ericson2020-05-082-30/+44
* A few tiny style nits with renamingJohn Ericson2020-05-082-9/+10
* 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
* Refactoring: Use bindSigTyVarsFV in rnMethodBindsRyan Scott2020-05-061-8/+1
* Allow LambdaCase to be used as a command in proc notationAlexis King2020-04-301-0/+6
* Unit: split and rename modulesSylvain Henry2020-04-308-8/+8
* Refactoring unit management codeSylvain Henry2020-04-302-12/+12
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-2614-69/+69
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-233-19/+45
* Do eager instantation in termsSimon Peyton Jones2020-04-221-3/+3
* Modules (#13009)Sylvain Henry2020-04-189-24/+24
* Use FailOperator in more places, define a couple datatypes (XBindStmtRn and X...Cale Gibbard2020-04-171-12/+14
* Use trees that grow for rebindable operators for `<-` bindsJohn Ericson2020-04-171-24/+24
* Change the fail operator argument of BindStmt to be a MaybeCale Gibbard2020-04-171-7/+8
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-078-117/+2
* Modules: type-checker (#13009)Sylvain Henry2020-04-0714-65/+65
* Minor cleanupKrzysztof Gogolewski2020-03-291-1/+2
* Modules: Types (#13009)Sylvain Henry2020-03-2914-91/+92
* Fix ApplicativeDo regression #17835Josef Svenningsson2020-03-231-11/+19
* Modules: Core (#13009)Sylvain Henry2020-03-165-9/+9
* pretty-printer: Properly parenthesise LastStmtKirill Elagin2020-03-121-7/+8
* Monotonic locations (#17632)Vladislav Zavialov2020-02-292-2/+2
* Comments, small refactorKrzysztof Gogolewski2020-02-241-19/+0
* Remove Ord SrcLoc, Ord SrcSpanVladislav Zavialov2020-02-246-18/+26
* Modules: Driver (#13009)Sylvain Henry2020-02-2110-20/+20
* Use TTG for HsSplicedT constructorKrzysztof Gogolewski2020-02-201-7/+3
* Fix #17832: Weird handling of exports named main in 8.10-rc1Roland Senn2020-02-201-0/+3
* Fix unboxed tuple size limit (#17837)Joshua Price2020-02-181-3/+8
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-141-3/+3