summaryrefslogtreecommitdiff
path: root/testsuite/tests/th
Commit message (Expand)AuthorAgeFilesLines
* 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
* Exit with exit code 1 when tests unexpectedly passMatthew Pickering2019-02-231-2/+8
* Fix #16293 by cleaning up Proxy# infelicitiesRyan Scott2019-02-122-0/+14
* Capture and simplify constraints arising from running typed splicesMatthew Pickering2019-02-103-0/+29
* Fix test for T16180 on Darwin (fix #16128)Sylvain Henry2019-02-082-12/+11
* testsuite: Use makefile_testBen Gamari2019-01-303-17/+10
* Revert "Batch merge"Ben Gamari2019-01-303-10/+17
* Batch mergeBen Gamari2019-01-303-17/+10
* Use sigPrec in more places in Convert and HsUtilsRyan Scott2019-01-284-2/+26
* testsuite: Mark T16180 as broken on DarwinBen Gamari2019-01-231-1/+1
* Add support for ASM foreign files (.s) in TH (#16180)Sylvain Henry2019-01-203-0/+28
* Run typed splices in the zonkerMatthew Pickering2019-01-113-0/+26
* Fix #16133 by checking for TypeApplications in rnExprRyan Scott2019-01-063-0/+22
* Visible kind applicationmynguyen2019-01-0320-84/+213
* testsuite: Disable more tests in unregisterised buildwip/disable-fragile-unreg-testsBen Gamari2018-12-281-1/+4
* testsuite: Mark th tests as broken in ext-interp way in LLVM build flavoursBen Gamari2018-12-241-0/+2
* testsuite: Mark objcpp-hi and T13366 as broken on Darwin due to #16083Ben Gamari2018-12-221-1/+4
* testsuite: Add tests for #15270Ben Gamari2018-12-115-0/+28
* Wibble to Taming the Kind Inference MonsterSimon Peyton Jones2018-12-071-2/+2