summaryrefslogtreecommitdiff
path: root/compiler/GHC/Rename/Module.hs
Commit message (Expand)AuthorAgeFilesLines
* Change representation of field selector occurencesShayne Fletcher2021-05-231-1/+1
* Remove Maybe from Context in HsQualTyAlan Zimmerman2021-05-211-3/+3
* Only suggest names that make sense (#19843)Jakob Brünker2021-05-211-8/+10
* EPA: Remove duplicate annotations from HsDataDefnAlan Zimmerman2021-05-191-1/+1
* Remove transitive information about modules and packages from interface filesMatthew Pickering2021-05-191-2/+2
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-3/+6
* More specific error messages for annotations (fixes #19740)Jaro Reinders2021-05-051-2/+2
* Improve hs-boot binds error (#19781)sheaf2021-05-031-2/+6
* Fix #19649 by using filterInScopeM in rnFamEqnRyan Scott2021-04-081-4/+17
* Introduce SevIgnore Severity to suppress warningsAlfredo Di Napoli2021-04-051-10/+9
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-4/+4
* Remove unnecessary extendTyVarEnvFVRn functionRyan Scott2021-03-211-3/+3
* GHC Exactprint main commitAlan Zimmerman2021-03-201-85/+91
* Wrap LHsContext in Maybe in the GHC ASTAlan Zimmerman2021-03-011-3/+3
* Implement NoFieldSelectors extension (ghc-proposals 160)Adam Gundry2021-02-161-5/+6
* Factorize and document binder collect functionsSylvain Henry2021-01-221-2/+3
* Refactor renamer datastructuresAdam Gundry2020-12-241-7/+5
* Reject dodgy scoping in associated family instance RHSesRyan Scott2020-12-171-69/+179
* Move Unit related fields from DynFlags to HscEnvSylvain Henry2020-12-141-1/+1
* Implement type applications in patternsCale Gibbard2020-12-141-2/+2
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-83/+65
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-10/+10
* Split HsConDecl{H98,GADT}DetailsRyan Scott2020-10-301-20/+35
* Split GHC.Driver.TypesSylvain Henry2020-10-291-1/+2
* Add -Wnoncanonical-{monad,monoid}-instances to standardWarningsFumiaki Kinoshita2020-10-141-25/+25
* Linear types: fix quantification in GADTs (#18790)Krzysztof Gogolewski2020-10-101-1/+3
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-9/+8
* Cache HomeUnit in HscEnv (#17957)Sylvain Henry2020-10-091-3/+2
* Refactor: remove rnHsDocVladislav Zavialov2020-10-011-34/+4
* Introduce and use DerivClauseTys (#18662)Ryan Scott2020-09-151-3/+13
* Add HomeUnit typeSylvain Henry2020-08-131-3/+3
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Remove ConDeclGADTPrefixPsRyan Scott2020-08-021-42/+6
* Don't mark closed type family equations as occurrencesRyan Scott2020-07-301-44/+98
* Clean up the inferred type variable restrictionRyan Scott2020-07-301-76/+40
* Simplify XRec definitionZubin Duggal2020-07-251-5/+7
* Reject nested foralls/contexts in instance types more consistentlyRyan Scott2020-06-301-44/+111
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-7/+10
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-131-3/+3
* Refactor homeUnitSylvain Henry2020-06-131-2/+2
* Always use rnImplicitBndrs to bring implicit tyvars into scopeRyan Scott2020-06-101-56/+73
* 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-051-17/+16
* Fix #18145 and also avoid needless work with implicit varsJohn Ericson2020-05-231-19/+37
* Explicit SpecificityGert-Jan Bottu2020-05-211-18/+21
* Improve some folds over Uniq[D]FMSimon Jakobi2020-05-141-2/+2
* Factor out HsPatSigType for pat sigs/RULE term sigs (#16762)Ryan Scott2020-05-131-2/+2
* Add `forAllOrNothing` function with noteJohn Ericson2020-05-081-7/+5