summaryrefslogtreecommitdiff
path: root/compiler/GHC/Hs/Instances.hs
Commit message (Expand)AuthorAgeFilesLines
* TTG: TH brackets finishing touchesromes2022-03-181-1/+1
* TTG: Refactor bracket for desugaring during tcromes2022-03-181-10/+5
* Separate constructors for typed and untyped bracketsromes2022-03-181-6/+9
* TTG: Refactor HsBracketromes2022-03-181-0/+4
* TTG Pull AbsBinds and ABExport out of the main ASTromes2022-03-141-4/+3
* Reject GADT pattern matches in arrow notationsheaf2021-10-091-0/+2
* Move `ol_witness` to `OverLitTc`Dr. ERDI Gergo2021-08-131-0/+3
* Refactor HsStmtContext and remove HsDoRnArtyom Kuznetsov2021-08-101-0/+2
* Use HsExpansion for overloaded list patternssheaf2021-06-291-3/+1
* HsUniToken and HsToken for HsArrow (#19623)Vladislav Zavialov2021-06-161-0/+5
* Change representation of HsGetField and HsProjectionShayne Fletcher2021-05-271-3/+3
* Changes to HsRecField'Shayne Fletcher2021-05-191-1/+1
* GHC Exactprint main commitAlan Zimmerman2021-03-201-23/+62
* 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