summaryrefslogtreecommitdiff
path: root/libraries/template-haskell/Language/Haskell/TH
Commit message (Expand)AuthorAgeFilesLines
* template-haskell: Improve documentation of strictness annotation typesTeo Camarasu2022-10-211-6/+18
* Rename Solo[constructor] to MkSoloTorsten Schmits2022-09-211-3/+6
* Export liftA2 from PreludeGeorgi Lyubenov2022-09-083-6/+6
* Fix and test for issue #21723Mario Blažević2022-08-221-12/+15
* Added pprType with precedence argument, as a prerequisite to fix issues #2172...Mario Blažević2022-08-221-69/+73
* Repair dead link in TH haddocksHécate Moonlight2022-06-161-0/+4
* Deprecate TypeInType extensionHaskellMouse2022-06-061-1/+1
* Language.Haskell.Syntax: Fix docs for PromotedConsT etc.Shlomo Shuck2022-06-011-6/+6
* Add a note about instance visibility across component boundariesparsonsmatt2022-04-301-3/+16
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-014-7/+22
* Add instance Lift ByteArrayBodigrim2022-03-251-1/+57
* Add the OPAQUE pragmaChristiaan Baaij2022-03-253-0/+6
* TH: Fix pretty printing of newtypes with operators and GADT syntax (#20868)Zubin Duggal2022-03-191-20/+9
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-151-1/+1
* template-haskell: fix docstring for BytesTeo Camarasu2022-02-281-0/+1
* template-haskell: fix typo in docstring for OverlapTeo Camarasu2022-02-281-1/+1
* template-haskell: Fix two prettyprinter issuesMario Blažević2022-02-251-8/+41
* TH: fix pretty printing of GADTs with multiple constuctors (#20842)Zubin Duggal2022-02-241-1/+1
* Document that reifyRoles includes kind parametersRichard Eisenberg2022-02-081-1/+13
* Fix a few Note inconsistenciesBen Gamari2022-02-011-1/+0
* Use braces in TH LambdaCase and where clausesElton2022-02-011-3/+13
* Use braces in TH case pprint (fixes #20893)Elton2022-02-011-1/+1
* Multiple Home UnitsMatthew Pickering2021-12-281-0/+25
* Expand documentation for MulArrowT constructorMatthew Pickering2021-12-171-1/+3
* Fix documentation formatting in Language.Haskell.TH.CodeDoMatthew Pickering2021-12-171-0/+2
* Add PromotedInfixT/PromotedUInfixT to THJakob Brünker2021-12-114-70/+95
* Use 'NonEmpty' for the fields in an 'HsProjection' (#20389)Zubin Duggal2021-11-203-3/+5
* Implement -Wforall-identifier (#20609)Vladislav Zavialov2021-11-121-3/+3
* Handle OverloadedRecordDot in TH (#20185)Zubin Duggal2021-08-034-0/+13
* Disallow nonlinear fields in Template Haskell (#18378)Krzysztof Gogolewski2021-08-021-0/+4
* template-haskell: Add support for default declarationsMario Blažević2021-07-214-0/+10
* Reword: representation instead of levitysheaf2021-06-102-5/+5
* Apply 2 suggestion(s) to 1 file(s)parsonsmatt2021-05-291-2/+2
* Address review comments, export from THparsonsmatt2021-05-291-1/+4
* Add `newDeclarationGroup` and provide documentation in reifyInstances and isI...parsonsmatt2021-05-291-0/+62
* template-haskell: Add putDoc, getDoc, withDecDoc and friendsLuke Lau2021-03-103-1/+217
* Require GHC 8.10 as the minimum compiler for bootstrappingRyan Scott2021-03-091-9/+5
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-0/+8
* Fix #19363 by using pprName' {Applied,Infix} in the right placesRyan Scott2021-02-261-22/+22
* Fix TemplateHaskell pretty printer for CompleteP (#19270)Ole Krüger2021-02-221-1/+1
* The Char kind (#11342)Daniel Rogozin2021-02-064-1/+6
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-8/+0
* Implement BoxedRep proposalAndrew Martin2020-12-141-0/+8
* Implement type applications in patternsCale Gibbard2020-12-144-8/+19
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-291-2/+2
* Make CodeQ and TExpQ levity polymorphicRyan Scott2020-08-052-3/+18
* Use a newtype `Code` for the return type of typed quotations (Proposal #195)Matthew Pickering2020-07-214-52/+130
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-264-8/+28
* Linear types (#15981)Krzysztof Gogolewski2020-06-174-0/+15
* Fix #12073: Add MonadFix Q instanceOleg Grenrus2020-06-131-0/+22