summaryrefslogtreecommitdiff
path: root/libraries/template-haskell/Language
Commit message (Expand)AuthorAgeFilesLines
* 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
* sighparsonsmatt2021-05-291-1/+1
* Apply 2 suggestion(s) to 1 file(s)parsonsmatt2021-05-291-2/+2
* Address review comments, export from THparsonsmatt2021-05-292-1/+5
* Add `newDeclarationGroup` and provide documentation in reifyInstances and isI...parsonsmatt2021-05-291-0/+62
* template-haskell: Add putDoc, getDoc, withDecDoc and friendsLuke Lau2021-03-104-1/+220
* 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-215-52/+132
* 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
* Rename the singleton tuple GHC.Tuple.Unit to GHC.Tuple.SoloTom Ellis2020-06-011-1/+1
* Clean up file paths for new module hierarchyTakenobu Tani2020-06-011-1/+1
* Add Semigroup/Monoid for Q (#18123)Vladislav Zavialov2020-05-281-0/+9
* Explicit SpecificityGert-Jan Bottu2020-05-215-60/+94
* Define a Quote IO instanceRyan Scott2020-04-281-2/+8
* TH: fix Show/Eq/Ord instances for Bytes (#16457)Sylvain Henry2020-04-271-1/+42
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1/+1
* Require GHC 8.8 as the minimum compiler for bootstrappingRyan Scott2020-03-311-8/+3