summaryrefslogtreecommitdiff
path: root/libraries/template-haskell/Language
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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
* Add explicit LANGUAGE Safe to template-haskellOleg Grenrus2020-02-148-2/+10
* Overloaded Quotation Brackets (#246)Matthew Pickering2020-01-124-457/+481
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-041-1/+1
* Parenthesize the * kind in TH.PprVladislav Zavialov2019-12-051-12/+19
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-281-1/+1
* Clean up TH's treatment of unary tuples (or, #16881 part two)Ryan Scott2019-11-071-4/+20
* Template Haskell: make unary tuples legal (#16881)nineonine2019-10-131-20/+11
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-254-1/+6
* TemplateHaskell: reifyType (#16976)Vladislav Zavialov2019-07-262-0/+13
* Fix #16895 by checking whether infix expression operator is a variablenineonine2019-07-052-6/+13
* Fix #15843 by extending Template Haskell AST for tuples to support sectionsnineonine2019-07-024-21/+61
* fix Template Haskell cross compilation on 64 bit compiler with 32 bit targetLuite Stegeman2019-05-222-7/+8
* TH: make `Lift` and `TExp` levity-polymorphicAlec Theriault2019-04-181-16/+214
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-3/+3
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-152-6/+6
* TH: support raw bytes literals (#14741)Sylvain Henry2019-03-084-1/+40
* Visible dependent quantificationRyan Scott2019-03-014-6/+28
* Add `liftedTyped` to `Lift` classAlec Theriault2019-02-131-4/+54
* Add support for ASM foreign files (.s) in TH (#16180)Sylvain Henry2019-01-201-4/+5
* Prepare source-tree for base-4.13 MFP bumpHerbert Valerio Riedel2019-01-181-1/+3
* Visible kind applicationmynguyen2019-01-034-74/+112
* Fix embarrassing infinite loop in pprParendTypeRyan Scott2018-12-031-1/+3
* Add 'Lift' instances for 'NonEmpty' and 'Void'Alec Theriault2018-11-301-0/+16
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-274-46/+85