summaryrefslogtreecommitdiff
path: root/testsuite/tests/th
Commit message (Expand)AuthorAgeFilesLines
* Incorporate changes from #11721 into Template HaskellRyan Scott2017-10-073-2/+30
* Bump template-haskell to 2.13.0.0Ryan Scott2017-09-251-2/+2
* Also show types that subsume a hole as valid substitutions for that hole.Matthías Páll Gissurarson2017-09-211-0/+35
* Check if -XStaticPointers is enabled when renaming static expressionsRyan Scott2017-09-133-0/+14
* Allow CSE'ing of work-wrapped bindings (#14186)Joachim Breitner2017-09-121-4/+4
* Fix #14167 by using isGadtSyntaxTyCon in more placesRyan Scott2017-09-021-5/+6
* Fix #13885 by freshening reified GADT constructors' universal tyvarsRyan Scott2017-08-223-0/+25
* Fix #14060 by more conservatively annotating TH-reified typesRyan Scott2017-08-146-9/+55
* Follow-up to #13887, for promoted infix constructorsRyan Scott2017-07-295-4/+22
* Merge types and kinds in DsMetaRyan Scott2017-07-284-9/+5
* Error eagerly after renaming failures in reifyInstancesRyan Scott2017-07-283-0/+21
* Do not discard insolubles in implicationsSimon Peyton Jones2017-07-281-0/+20
* Fix #13819 by refactoring TypeEqOrigin.uo_thingRichard Eisenberg2017-07-271-4/+2
* Fix #13968 by consulting isBuiltInOcc_maybeRyan Scott2017-07-263-0/+10
* Parenthesize infix type names in data declarations in TH printerEugene Akentyev2017-07-112-4/+4
* Fix logic error in GhcMake.enableCodeGenForTHDouglas Wilson2017-07-116-0/+33
* Add Template Haskell support for overloaded labelsMatthew Pickering2017-07-112-0/+22
* Fix pretty-printing of zero-argument lambda expressionsRyan Scott2017-06-233-0/+10
* change filtering of variables in extract_hs_tv_bndrs (fixes #13782)Carlos Tomé2017-06-212-0/+15
* Support signatures at the kind level in Template HaskellRyan Scott2017-06-122-0/+11
* Compile modules that are needed by template haskell, even with -fno-code.Douglas Wilson2017-05-204-0/+13
* Fix collect_lpat's treatment of HsSplicedPatsRyan Scott2017-05-114-0/+27
* Deal with exceptions in dsWhenNoErrsSimon Peyton Jones2017-05-043-0/+14
* Make the tyvars in TH-reified data family instances uniformRyan Scott2017-04-283-0/+27
* testsuite: Add testcase for #13587Ben Gamari2017-04-233-0/+27
* Allow associated types to pattern-match in non-class-bound variablesRyan Scott2017-03-142-3/+3
* Allow compilation of C/C++/ObjC/ObjC++ files with module from THFrancesco Mazzoli2017-03-086-51/+44
* Make TH_Roles2 less fragileSimon Peyton Jones2017-03-062-5/+5
* Produce KindReps for common kinds in GHC.TypesBen Gamari2017-03-031-6/+4
* TcTypeable: Try to reuse KindRepsBen Gamari2017-03-031-5/+6
* Typeable: Rename KindRep bindings to $krep...Ben Gamari2017-03-021-2/+2
* Improve pretty-printing of typesSimon Peyton Jones2017-02-281-29/+28
* The Early Inline PatchSimon Peyton Jones2017-02-281-2/+2
* Try submodule bumps againBen Gamari2017-02-281-1/+1
* tests: remove extra_files.py (#12223)Reid Barton2017-02-263-3/+6
* Revert recent submodule bumpsBen Gamari2017-02-221-1/+1
* Bump Cabal and containers submodulesBen Gamari2017-02-211-1/+1
* Bump Cabal submoduleBen Gamari2017-02-201-3/+3
* Disable Typeable binding generation for unboxed sumsBen Gamari2017-02-181-2/+2
* Type-indexed TypeableBen Gamari2017-02-181-4/+10
* Relax test TH_addCStub2 so it succeeds on travis.Facundo Domínguez2017-02-102-7/+11
* Prevent Template Haskell splices from throwing a spurious TypeInType errorRyan Scott2017-02-102-0/+30
* TH-spliced class instances are pretty-printed incorrectly post-#3384Alan Zimmerman2017-02-101-1/+1
* Implement addCStub in template-haskell.Facundo Domínguez2017-02-095-0/+55
* Typos in comments [skip ci]Gabor Greif2017-02-071-1/+1
* Fixes bug #11046Iavor S. Diatchki2017-01-303-0/+20
* Don't unnecessarily qualify TH-converted instances with empty contextsRyan Scott2017-01-264-7/+7
* Add pragCompleteDName to templateHaskellNamesRyan Scott2017-01-251-0/+18
* Template Haskell support for COMPLETE pragmasMatthew Pickering2017-01-262-0/+10
* Don't put foralls in front of TH-spliced GADT constructors that don't need themRyan Scott2017-01-241-0/+7
View Lorry Controller Status