summaryrefslogtreecommitdiff
path: root/compiler/GHC/Rename
Commit message (Expand)AuthorAgeFilesLines
* Remove GENERATED pragma, as it is not being usedwip/T18639-remove-generated-pragmaAlan Zimmerman2020-09-081-1/+0
* Consolidate imports in getMinimalImports (#18264)Aditya Gupta2020-08-271-3/+22
* Add HomeUnit typeSylvain Henry2020-08-132-5/+7
* DynFlags: disentangle OutputableSylvain Henry2020-08-1211-0/+12
* Remove ConDeclGADTPrefixPsRyan Scott2020-08-021-42/+6
* Fix minimal imports dump for boot files (fix #18497)Sylvain Henry2020-07-301-9/+13
* Remove an incorrect WARN in extendLocalRdrEnvSimon Peyton Jones2020-07-301-9/+20
* Don't mark closed type family equations as occurrencesRyan Scott2020-07-301-44/+98
* Clean up the inferred type variable restrictionRyan Scott2020-07-306-127/+202
* Simplify XRec definitionZubin Duggal2020-07-253-7/+13
* Remove {-# CORE #-} pragma (part of #18048)Krzysztof Gogolewski2020-07-181-1/+0
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-143-6/+126
* Reject nested foralls/contexts in instance types more consistentlyRyan Scott2020-06-301-44/+111
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-1/+1
* Revamp the treatment of auxiliary bindings for derived instancesRyan Scott2020-06-271-4/+6
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-262-53/+128
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-1/+1
* 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
View Lorry Controller Status