summaryrefslogtreecommitdiff
path: root/compiler/GHC/Hs/Instances.hs
Commit message (Expand)AuthorAgeFilesLines
* Make PatSyn immutableSimon Peyton Jones2021-01-291-1/+0
* Refactor renamer datastructuresAdam Gundry2020-12-241-0/+5
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-4/+9
* Split HsConDecl{H98,GADT}DetailsRyan Scott2020-10-301-0/+5
* Introduce and use DerivClauseTys (#18662)Ryan Scott2020-09-151-0/+5
* Remove ConDeclGADTPrefixPsRyan Scott2020-08-021-2/+0
* Simplify XRec definitionZubin Duggal2020-07-251-3/+5
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-141-0/+3
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-261-0/+8
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-0/+10
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-131-0/+5
* Make GADT constructors adhere to the forall-or-nothing rule properlyRyan Scott2020-06-091-0/+2
* GHC.Hs.Instances: Compile with -O0Ben Gamari2020-06-041-0/+7
* Rename GHC.Hs.Types into GHC.Hs.TypeSylvain Henry2020-05-241-2/+2
* Explicit SpecificityGert-Jan Bottu2020-05-211-3/+3
* Factor out HsPatSigType for pat sigs/RULE term sigs (#16762)Ryan Scott2020-05-131-0/+5
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-1/+1
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-231-0/+3
* Use FailOperator in more places, define a couple datatypes (XBindStmtRn and X...Cale Gibbard2020-04-171-0/+3
* Introduce IsPass; refactor wrappers.Richard Eisenberg2020-02-081-9/+7
* Factor out HsSCC/HsCoreAnn/HsTickPragma into HsPragEwip/hs-pragVladislav Zavialov2019-11-281-0/+5
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-0/+5
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-0/+420