summaryrefslogtreecommitdiff
path: root/libraries/template-haskell/Language/Haskell/TH/Syntax.hs
Commit message (Expand)AuthorAgeFilesLines
* Add a note about instance visibility across component boundariesparsonsmatt2022-04-301-3/+16
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-011-0/+2
* Add instance Lift ByteArrayBodigrim2022-03-251-1/+57
* Add the OPAQUE pragmaChristiaan Baaij2022-03-251-0/+1
* 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
* Document that reifyRoles includes kind parametersRichard Eisenberg2022-02-081-1/+13
* Fix a few Note inconsistenciesBen Gamari2022-02-011-1/+0
* Multiple Home UnitsMatthew Pickering2021-12-281-0/+25
* Expand documentation for MulArrowT constructorMatthew Pickering2021-12-171-1/+3
* Add PromotedInfixT/PromotedUInfixT to THJakob Brünker2021-12-111-33/+39
* Use 'NonEmpty' for the fields in an 'HsProjection' (#20389)Zubin Duggal2021-11-201-1/+1
* Handle OverloadedRecordDot in TH (#20185)Zubin Duggal2021-08-031-0/+2
* Disallow nonlinear fields in Template Haskell (#18378)Krzysztof Gogolewski2021-08-021-0/+4
* template-haskell: Add support for default declarationsMario Blažević2021-07-211-0/+1
* Reword: representation instead of levitysheaf2021-06-101-4/+4
* 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-101-0/+44
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-0/+8
* The Char kind (#11342)Daniel Rogozin2021-02-061-0/+1
* 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-141-2/+2
* Make CodeQ and TExpQ levity polymorphicRyan Scott2020-08-051-0/+2
* Use a newtype `Code` for the return type of typed quotations (Proposal #195)Matthew Pickering2020-07-211-51/+108
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-261-2/+4
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-0/+4
* 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-211-17/+21
* 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
* Generalize liftData to work over any Quote (#17857)Ryan Scott2020-02-201-19/+19
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-141-2/+3
* Overloaded Quotation Brackets (#246)Matthew Pickering2020-01-121-49/+69
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-041-1/+1
* Template Haskell: make unary tuples legal (#16881)nineonine2019-10-131-20/+11
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-0/+1
* TemplateHaskell: reifyType (#16976)Vladislav Zavialov2019-07-261-0/+11
* Fix #16895 by checking whether infix expression operator is a variablenineonine2019-07-051-5/+9
* Fix #15843 by extending Template Haskell AST for tuples to support sectionsnineonine2019-07-021-15/+43
* fix Template Haskell cross compilation on 64 bit compiler with 32 bit targetLuite Stegeman2019-05-221-4/+5