summaryrefslogtreecommitdiff
path: root/compiler/GHC/Rename/Module.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* A few tiny style nits with renamingJohn Ericson2020-05-081-2/+3
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Refactoring unit management codeSylvain Henry2020-04-301-9/+9
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-10/+10
* Modules (#13009)Sylvain Henry2020-04-181-3/+3
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-40/+1
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+2413
View Lorry Controller Status