summaryrefslogtreecommitdiff
path: root/compiler/GHC/Rename
Commit message (Expand)AuthorAgeFilesLines
* Check for large tuples more thoroughlywip/T18723Ryan Scott2020-10-293-9/+19
* Split GHC.Driver.TypesSylvain Henry2020-10-2910-42/+76
* API Annotations: Keep track of unicode for linear arrow notationwip/az/unicode-hsscaledAlan Zimmerman2020-10-201-7/+7
* Add -Wnoncanonical-{monad,monoid}-instances to standardWarningsFumiaki Kinoshita2020-10-141-25/+25
* Make DataKinds the sole arbiter of kind-level literals (and friends)Ryan Scott2020-10-141-13/+11
* Fall back to types when looking up data constructors (#18740)wip/ghc-18740-lookup-updateDaniel Rogozin2020-10-111-8/+48
* Linear types: fix quantification in GADTs (#18790)Krzysztof Gogolewski2020-10-102-3/+9
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-109-53/+67
* Cache HomeUnit in HscEnv (#17957)Sylvain Henry2020-10-092-9/+8
* Refactor: remove rnHsDocVladislav Zavialov2020-10-013-64/+6
* Use ADTs for parser errors/warningsSylvain Henry2020-10-011-1/+1
* Remove outdated comment in rnHsTyKiVladislav Zavialov2020-09-271-4/+0
* Don't rearrange (->) in the renamerVladislav Zavialov2020-09-271-36/+26
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-1/+1
* Export singleton function from Data.ListWander Hillen2020-09-191-3/+3
* Introduce and use DerivClauseTys (#18662)Ryan Scott2020-09-151-3/+13
* Remove GENERATED pragma, as it is not being usedAlan Zimmerman2020-09-091-1/+0
* Make the forall-or-nothing rule only apply to invisible foralls (#18660)Ryan Scott2020-09-081-13/+39
* 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
View Lorry Controller Status