summaryrefslogtreecommitdiff
path: root/testsuite/tests/th
Commit message (Expand)AuthorAgeFilesLines
* Refactor hole constraints.Richard Eisenberg2020-05-061-2/+2
* Don't return a panic in tcNestedSpliceSimon Peyton Jones2020-05-042-0/+8
* Unit: split and rename modulesSylvain Henry2020-04-301-8/+5
* Make boxed 1-tuples have known keysRyan Scott2020-04-282-0/+15
* TH: fix Show/Eq/Ord instances for Bytes (#16457)Sylvain Henry2020-04-273-0/+47
* Do eager instantation in termsSimon Peyton Jones2020-04-221-8/+8
* Fix two ASSERT buglets in reifyDataConRyan Scott2020-04-023-0/+20
* TH: wrapGenSyns, don't split the element type too muchMatthew Pickering2020-02-212-0/+65
* Generalize liftData to work over any Quote (#17857)Ryan Scott2020-02-201-2/+6
* testsuite: Disable tests that assume name of libstdc++ on FreeBSDBen Gamari2020-02-141-1/+4
* testsuite: Fix -Wcompat-unqualified-imports issuesBen Gamari2020-02-081-1/+1
* Use splitLHs{ForAll,Sigma}TyInvis throughout the codebaseRyan Scott2020-01-275-0/+30
* Handle local fixity declarations in DsMeta properlyRyan Scott2020-01-253-0/+57
* Overloaded Quotation Brackets (#246)Matthew Pickering2020-01-1229-5/+192
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-041-1/+1
* Do more validity checks for quantified constraintsRichard Eisenberg2019-12-162-1/+2
* Ignore unary constraint tuples during typechecking (#17511)Ryan Scott2019-12-102-0/+10
* Parenthesize the * kind in TH.PprVladislav Zavialov2019-12-055-2/+17
* Whitespace-sensitive bang patterns (#1087, #17162)wip/whitespace-and-lookaheadVladislav Zavialov2019-11-27110-274/+258
* Make warnings for TH splices opt-inSebastian Graf2019-11-273-8/+17
* Strip parentheses in expressions contexts in error messagesVladislav Zavialov2019-11-193-3/+3
* Print name prefixly in the Outputable instance for StandaloneKindSigRyan Scott2019-11-133-0/+18
* Fix #17405 by not checking imported equationsRichard Eisenberg2019-11-101-1/+2
* Clean up TH's treatment of unary tuples (or, #16881 part two)Ryan Scott2019-11-0710-23/+91
* template-haskell: require at least 1 GADT constructor name (#17379)Adam Sandberg Eriksson2019-11-015-0/+26
* testsuite: Use fragile modifier in TH_foreignInterruptibleBen Gamari2019-10-251-2/+1
* Mark promoted InfixT names as IsPromoted (#17394)Ryan Scott2019-10-243-0/+19
* Reify oversaturated data family instances correctly (#17296)Ryan Scott2019-10-233-0/+57
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-231-1/+1
* Template Haskell: make unary tuples legal (#16881)nineonine2019-10-136-20/+55
* Solve constraints from top-level groups soonerRichard Eisenberg2019-10-089-78/+71
* Improve documentation around empty tuples/listsRichard Eisenberg2019-10-031-7/+4
* testsuite: Mark TH tests as fragile in LLVM built external-interpreterBen Gamari2019-09-271-9/+4
* Fix #13571 by adding an extension flag checkRichard Eisenberg2019-09-171-1/+1
* Encode shape information in `PmOracle`Sebastian Graf2019-09-161-0/+4
* TemplateHaskell: reifyType (#16976)Vladislav Zavialov2019-07-267-0/+66
* Fix #16895 by checking whether infix expression operator is a variablenineonine2019-07-0511-0/+68
* Bump template-haskell version to 2.16.0.0Ryan Scott2019-07-031-1/+1
* Fix #15843 by extending Template Haskell AST for tuples to support sectionsnineonine2019-07-026-2/+107
* testsuite: Mark T16180 as broken in ghci and ext-interp waysBen Gamari2019-06-121-2/+5
* Print role annotations in TemplateHaskell brackets (#16718)Vladislav Zavialov2019-06-101-0/+2
* Fix #16666 by parenthesizing contexts in ConvertRyan Scott2019-05-213-0/+19
* Dont refer to `cLeadingUnderscore` in testJohn Ericson2019-05-142-12/+18
* Add `-optcxx` option (#16477)Yuriy Syrovetskiy2019-04-081-1/+1
* Bump ghc-prim's version where neededAlexandre2019-04-011-1/+1
* base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` insteadHerbert Valerio Riedel2019-03-221-2/+2
* Reject nested predicates in impredicativity checkingRyan Scott2019-03-201-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-1513-14/+14
* TH: support raw bytes literals (#14741)Sylvain Henry2019-03-083-0/+30
* Visible dependent quantificationRyan Scott2019-03-013-1/+48
View Lorry Controller Status