summaryrefslogtreecommitdiff
path: root/compiler/hsSyn/HsDecls.hs
Commit message (Expand)AuthorAgeFilesLines
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-2417/+0
* Banish reportFloatingViaTvs to the shadow realm (#15831, #16181)Ryan Scott2019-07-261-1/+17
* Drop unused helpers 'mkTyClGroup' and 'emptyTyClGroup'Vladislav Zavialov2019-07-241-13/+1
* Use an empty data type in TTG extension constructors (#15247)Ryan Scott2019-07-091-91/+91
* Print role annotations in TemplateHaskell brackets (#16718)Vladislav Zavialov2019-06-101-0/+1
* Comments only: document tcdDataCusk better.Richard Eisenberg2019-06-091-0/+5
* Use HsTyPats in associated type family defaultsRyan Scott2019-05-221-56/+41
* Guard CUSKs behind a language pragmaVladislav Zavialov2019-05-141-10/+20
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* Visible dependent quantificationRyan Scott2019-03-011-3/+3
* Minor refactor of CUSK handlingSimon Peyton Jones2019-02-081-10/+19
* A few typofixesGabor Greif2019-01-231-1/+1
* Visible kind applicationmynguyen2019-01-031-1/+1
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-34/+28
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-271-33/+52
* Fix #15761 by adding parensRichard Eisenberg2018-10-171-7/+9
* Add a solveEqualities to tcClassDecl1Simon Peyton Jones2018-08-211-3/+4
* Fix pretty-printing of data declarations in splicesKrzysztof Gogolewski2018-07-221-2/+2
* Comments onlySimon Peyton Jones2018-07-131-0/+3
* Improve comments about CUSKsSimon Peyton Jones2018-07-131-23/+70
* More refactoring in TcValiditySimon Peyton Jones2018-07-101-2/+2
* Refactor the kind-checking of tyvar bindersSimon Peyton Jones2018-06-251-13/+30
* Fix API Annotations for GADT constructorsAlan Zimmerman2018-06-191-2/+5
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-5/+4
* Introduce DerivingViaRyan Scott2018-06-041-5/+61
* vectorise: Put it out of its miseryBen Gamari2018-06-021-149/+4
* Fix #14875 by introducing PprPrec, and using itRyan Scott2018-05-131-4/+3
* TTG : complete for balance of hsSyn ASTAlan Zimmerman2018-04-271-199/+424
* TTG for HsBinds and Data instances Plan BAlan Zimmerman2018-04-131-33/+6
* Restore Trees That Grow reverted commitsAlan Zimmerman2018-04-091-32/+33
* Remove HasSourceText and SourceTextX classesAlan Zimmerman2018-04-071-69/+58
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-3/+8
* Allow PartialTypeSignatures in standalone deriving contextsRyan Scott2018-03-231-1/+12
* Fix #14817 by not double-printing data family instance kind signaturesRyan Scott2018-03-021-1/+4
* Refactor ConDecl: Trac #14529Simon Peyton Jones2017-12-071-53/+87
* Revert "trees that grow" workBen Gamari2017-11-211-104/+102
* TTG3 Combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-141-3/+3
* WIP on Doing a combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-081-99/+101
* Revert "WIP on combining Step 1 and 3 of Trees That Grow"Ben Gamari2017-11-071-78/+76
* WIP on combining Step 1 and 3 of Trees That GrowAlan Zimmerman2017-11-071-76/+78
* Pretty-printing of derived multi-parameter classes omits parenthesesAlan Zimmerman2017-10-111-2/+3
* Pretty-printer missing parens for infix class declarationAlan Zimmerman2017-10-021-0/+4
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Refactor type family instance abstract syntax declarationsRyan Scott2017-08-291-63/+82
* Comments onlySimon Peyton Jones2017-08-291-3/+3
* Comments, plus adjust debug print of TcTyThing(ATyVar)Simon Peyton Jones2017-08-251-1/+1
* Fix #14045 by omitting an unnecessary checkRichard Eisenberg2017-07-291-8/+14
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-250/+281
* Remove HsContext from ppr_mono_ty, and remove ppParendHsTypeAlan Zimmerman2017-05-281-4/+4