summaryrefslogtreecommitdiff
path: root/compiler/GHC/Iface/Ext
Commit message (Expand)AuthorAgeFilesLines
* Introduce `hsExprType :: HsExpr GhcTc -> Type` in the new modulewip/hsExprTypeRyan Scott2021-06-081-88/+87
* Use GHC's State monad consistentlyBen Gamari2021-05-291-3/+3
* HsToken for HsPar, ParPat, HsCmdPar (#19523)Vladislav Zavialov2021-05-231-3/+3
* Introduce Strict.Maybe, Strict.Pair (#19156)Vladislav Zavialov2021-05-232-2/+4
* Change representation of field selector occurencesShayne Fletcher2021-05-231-3/+3
* Changes to HsRecField'Shayne Fletcher2021-05-191-7/+7
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-1/+2
* Allow visible type application for levity-poly data consSimon Peyton Jones2021-05-071-16/+9
* 19486 Nearly all uses of `uniqCompareFS` are dubious and lack a non-determini...Sasha Bogicevic2021-05-061-1/+1
* hie: Initialise the proper environment for calling dsExprMatthew Pickering2021-04-151-8/+13
* Use foldGet in getSymbolTableSylvain Henry2021-03-261-5/+10
* Remove UniqSupply from NameCacheSylvain Henry2021-03-261-24/+24
* Refactor NameCacheSylvain Henry2021-03-261-16/+14
* GHC Exactprint main commitAlan Zimmerman2021-03-202-215/+318
* FastMutInt: Ensure that newFastMutInt initializes valueBen Gamari2021-03-101-4/+2
* Implement record dot syntaxwip/joachim/bump-haddockShayne Fletcher2021-03-061-1/+6
* Wrap LHsContext in Maybe in the GHC ASTAlan Zimmerman2021-03-011-2/+2
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-3/+3
* Implement NoFieldSelectors extension (ghc-proposals 160)Adam Gundry2021-02-161-4/+4
* Make PatSyn immutableSimon Peyton Jones2021-01-291-20/+8
* Use mutable update to defer out-of-scope errorsRichard Eisenberg2020-12-251-5/+3
* Refactor renamer datastructuresAdam Gundry2020-12-241-5/+9
* Implement type applications in patternsCale Gibbard2020-12-141-12/+31
* Move core flattening algorithm to Core.UnifyRichard Eisenberg2020-12-011-1/+1
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-43/+37
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-013-9/+5
* Split HsConDecl{H98,GADT}DetailsRyan Scott2020-10-301-9/+14
* Split GHC.Driver.TypesSylvain Henry2020-10-292-2/+98
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-103-28/+27
* Stop removing definitions of record fields in GHC.Iface.Ext.AstZubin Duggal2020-09-251-16/+10
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-2/+6
* Introduce and use DerivClauseTys (#18662)Ryan Scott2020-09-151-3/+7
* Export enrichHie from GHC.Iface.Ext.AstZubin Duggal2020-09-151-1/+1
* Remove "Ord FastString" instanceSylvain Henry2020-09-014-25/+57
* mkUnique refactoring (#18362)Aditya Gupta2020-08-221-1/+1
* DynFlags: disentangle OutputableSylvain Henry2020-08-123-1/+4
* Simplify XRec definitionZubin Duggal2020-07-251-55/+53
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-141-10/+14
* Give Uniq[D]FM a phantom type for its key.Andreas Klebinger2020-07-121-7/+9
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-261-1/+1
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-1/+1
* Linear types (#15981)Krzysztof Gogolewski2020-06-173-16/+32
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-131-2/+7
* Clean up file paths for new module hierarchyTakenobu Tani2020-06-011-1/+1
* Simplify contexts in GHC.Iface.Ext.AstZubin Duggal2020-05-301-315/+238
* Add info about typeclass evidence to .hie filesZubin Duggal2020-05-265-218/+663
* Move Config module into GHC.SettingsSylvain Henry2020-05-242-3/+2
* Explicit SpecificityGert-Jan Bottu2020-05-211-7/+10
* Factor out HsPatSigType for pat sigs/RULE term sigs (#16762)Ryan Scott2020-05-131-33/+15