summaryrefslogtreecommitdiff
path: root/compiler/deSugar/DsMeta.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Don't quantify implicit type variables when quoting type signatures in THRyan Scott2017-01-231-25/+55
* Fix another forward reference to a NoteRyan Scott2016-12-211-2/+2
* Rename TH constructors for deriving strategiesRyan Scott2016-12-091-3/+3
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-11/+12
* Typos in commentsGabor Greif2016-11-291-2/+2
* Handle types w/ type variables in signatures inside patterns (DsMeta)Mikhail Vorozhtsov2016-11-051-8/+6
* Implement deriving strategiesRyan Scott2016-09-301-19/+38
* Template Haskell support for TypeApplicationsRyan Scott2016-08-291-0/+6
* Template Haskell support for unboxed sumsRyan Scott2016-08-231-0/+29
* Support SCC pragmas in declaration contextÖmer Sinan Ağacan2016-07-201-2/+2
* Have addModFinalizer expose the local type environment.Facundo Domínguez2016-07-061-0/+1
* Allow one type signature for multiple pattern synonymsMatthew Pickering2016-07-011-1/+1
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-7/+7
* Merge MatchFixity and HsMatchContextAlan Zimmerman2016-06-061-1/+1
* Add TH support for pattern synonyms (fixes #8761)Dominik Bollmann2016-05-121-12/+117
* StaticPointers: Allow closed vars in the static form.Facundo Domínguez2016-05-021-1/+1
* SCC analysis for instances as well as types/classesSimon Peyton Jones2016-04-201-3/+3
* Add TemplateHaskell support for Overlapping pragmasIavor S. Diatchki2016-04-171-4/+25
* Fix #11797.Richard Eisenberg2016-04-121-6/+7
* Fix suggestions for unbound variables (#11680)Jason Eisenberg2016-04-101-2/+2