summaryrefslogtreecommitdiff
path: root/compiler/prelude/THNames.hs
Commit message (Expand)AuthorAgeFilesLines
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-3/+6
* TH: make `Lift` and `TExp` levity-polymorphicAlec Theriault2019-04-181-4/+7
* Visible dependent quantificationRyan Scott2019-03-011-53/+55
* Visible kind applicationmynguyen2019-01-031-17/+21
* Add support for ImplicitParams and RecursiveDo in THMichael Sloan2018-09-141-143/+154
* Introduce DerivingViaRyan Scott2018-06-041-22/+25
* template-haskell: Rip out FamFlavourBen Gamari2017-12-041-12/+0
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Merge types and kinds in DsMetaRyan Scott2017-07-281-65/+59
* Add Template Haskell support for overloaded labelsMatthew Pickering2017-07-111-2/+6
* Support signatures at the kind level in Template HaskellRyan Scott2017-06-121-13/+19
* Type-indexed TypeableBen Gamari2017-02-181-16/+16
* Add pragCompleteDName to templateHaskellNamesRyan Scott2017-01-251-1/+1
* Template Haskell support for COMPLETE pragmasMatthew Pickering2017-01-261-41/+44
* Rename TH constructors for deriving strategiesRyan Scott2016-12-091-5/+7
* Implement deriving strategiesRyan Scott2016-09-301-61/+90
* Template Haskell support for TypeApplicationsRyan Scott2016-08-291-30/+32
* Template Haskell support for unboxed sumsRyan Scott2016-08-231-58/+64
* Add TH support for pattern synonyms (fixes #8761)Dominik Bollmann2016-05-121-72/+102
* Add TemplateHaskell support for Overlapping pragmasIavor S. Diatchki2016-04-171-8/+42
* Refactor named wildcards (again)Simon Peyton Jones2015-12-221-6/+3
* Rework Template Haskell's handling of strictnessRyanGlScott2015-12-221-37/+61
* Add proper GADTs support to Template HaskellJan Stolarek2015-12-211-9/+14
* Generate Typeable info at definition sitesBen Gamari2015-10-301-38/+67
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-67/+38
* Generate Typeable info at definition sitesBen Gamari2015-10-291-38/+67
* Add typed holes support in Template Haskell.Jan Stolarek2015-10-161-8/+15
* Rename package key to unit ID, and installed package ID to component ID.Edward Z. Yang2015-10-141-2/+2
* DeriveLift extension (#1830)RyanGlScott2015-09-211-2/+47
* Injective type familiesJan Stolarek2015-09-031-86/+110
* Support wild cards in TH splicesThomas Winant2015-07-201-18/+26
* Handle Char#, Addr# in TH quasiquoter (fixes #10620)RyanGlScott2015-07-171-4/+11
* Refactor tuple constraintsSimon Peyton Jones2015-05-181-0/+836
* Revert multiple commitsAustin Seipp2015-05-141-836/+0
* Refactor tuple constraintsSimon Peyton Jones2015-05-131-0/+836