summaryrefslogtreecommitdiff
path: root/compiler/deSugar/DsMeta.hs
Commit message (Expand)AuthorAgeFilesLines
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* Stop inferring over-polymorphic kindsSimon Peyton Jones2019-03-091-11/+4
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-051-2/+2
* Visible dependent quantificationRyan Scott2019-03-011-5/+12
* API Annotations: AnnAt disconnected for TYPEAPPAlan Zimmerman2019-02-081-3/+3
* Run typed splices in the zonkerMatthew Pickering2019-01-111-0/+1
* Visible kind applicationmynguyen2019-01-031-29/+79
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-241-182/+209
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-271-71/+118
* Add support for ImplicitParams and RecursiveDo in THMichael Sloan2018-09-141-3/+60
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-211-1/+1
* Fix redundant imports of ClassBen Gamari2018-08-211-1/+0
* Add a solveEqualities to tcClassDecl1Simon Peyton Jones2018-08-211-2/+2
* Rename SigTv to TyVarTv (#15480)Joachim Breitner2018-08-161-6/+6
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-5/+5
* Remove HsEqTy and XEqTyRyan Scott2018-06-201-5/+0
* Fix API Annotations for GADT constructorsAlan Zimmerman2018-06-191-2/+2
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-4/+3
* Introduce DerivingViaRyan Scott2018-06-041-8/+23
* vectorise: Put it out of its miseryBen Gamari2018-06-021-11/+0
* TTG : complete for balance of hsSyn ASTAlan Zimmerman2018-04-271-51/+103
* TTG for HsBinds and Data instances Plan BAlan Zimmerman2018-04-131-20/+27
* Restore Trees That Grow reverted commitsAlan Zimmerman2018-04-091-92/+102
* Remove HasSourceText and SourceTextX classesAlan Zimmerman2018-04-071-3/+3
* Fix scoped type variables in TH for several constructsHE, Tao2018-03-251-76/+121
* Allow PartialTypeSignatures in standalone deriving contextsRyan Scott2018-03-231-1/+1
* Fix #14888 by adding more special cases for ArrowTRyan Scott2018-03-051-0/+1
* Simplify HsPatSynDetailsSimon Peyton Jones2017-12-211-9/+9
* Refactor ConDecl: Trac #14529Simon Peyton Jones2017-12-071-64/+55
* Revert "trees that grow" workBen Gamari2017-11-211-102/+92
* TTG3 Combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-141-15/+18
* WIP on combined Step 1 and 3 for Trees That Grow, HsExprAlan Zimmerman2017-11-111-26/+25
* WIP on Doing a combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-081-52/+60
* Revert "WIP on combining Step 1 and 3 of Trees That Grow"Ben Gamari2017-11-071-58/+50
* WIP on combining Step 1 and 3 of Trees That GrowAlan Zimmerman2017-11-071-50/+58
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Allow CSE'ing of work-wrapped bindings (#14186)Joachim Breitner2017-09-121-1/+1
* Refactor type family instance abstract syntax declarationsRyan Scott2017-08-291-11/+13
* Use field names for all uses of datacon MatchSimon Peyton Jones2017-07-311-5/+6
* Improve the desugaring of -XStrictSimon Peyton Jones2017-07-311-1/+0
* Merge types and kinds in DsMetaRyan Scott2017-07-281-125/+58
* Add Template Haskell support for overloaded labelsMatthew Pickering2017-07-111-1/+7
* Support signatures at the kind level in Template HaskellRyan Scott2017-06-121-0/+13
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-112/+119
* Make XNegativeLiterals treat -0.0 as negative 0Nolan2017-05-081-3/+4
* Implement HasField constraint solving and modify OverloadedLabelsAdam Gundry2017-02-141-1/+1
* More typos in comments [skip ci]Gabor Greif2017-02-081-1/+1
* Template Haskell support for COMPLETE pragmasMatthew Pickering2017-01-261-1/+20
* COMPLETE pragmas for enhanced pattern exhaustiveness checkingMatthew Pickering2017-01-261-0/+1
* Typos in comments [ci skip]Gabor Greif2017-01-251-1/+1
View Lorry Controller Status