summaryrefslogtreecommitdiff
path: root/testsuite/tests/th
Commit message (Expand)AuthorAgeFilesLines
* Another batch of './validation --slow' tweaksAlp Mestanogullari2018-05-203-4/+23
* Fix #14875 by introducing PprPrec, and using itRyan Scott2018-05-133-0/+39
* Add 'addWordC#' PrimOpSebastian Graf2018-05-051-1/+1
* testsuite: Fix `./validate --slow`Alp Mestanogullari2018-04-191-1/+1
* Revert "Fix #14838 by marking TH-spliced code as FromSource"Ben Gamari2018-04-104-48/+0
* Bump template-haskell to 2.14.0.0Ryan Scott2018-04-091-1/+1
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-12/+4
* Fix scoped type variables in TH for several constructsHE, Tao2018-03-255-2/+53
* Support adding objects from THAlec Theriault2018-03-254-2/+29
* Fix #14869 by being more mindful of Type vs. ConstraintRyan Scott2018-03-213-0/+44
* Turn a TH Name for built-in syntax into an unqualified RdrNameChaitanya Koparkar2018-03-196-3/+41
* Fix #14888 by adding more special cases for ArrowTRyan Scott2018-03-053-0/+31
* Fix #14838 by marking TH-spliced code as FromSourceRyan Scott2018-03-024-0/+48
* Permit conversion of partially applied PromotedTupleTsRyan Scott2018-03-022-0/+10
* Fix #14817 by not double-printing data family instance kind signaturesRyan Scott2018-03-023-0/+14
* Rename the types in a GADT constructor in toposorted orderRyan Scott2018-02-181-2/+0
* Sort valid substitutions for typed holes by "relevance"Matthías Páll Gissurarson2018-01-261-4/+4
* Fix #14681 and #14682 with precision-aimed parenthesesRyan Scott2018-01-183-0/+21
* Inform hole substitutions of typeclass constraints (fixes #14273).Matthías Páll Gissurarson2018-01-182-1/+6
* Parenthesize forall-type args in cvtTypeKindRyan Scott2018-01-153-0/+13
* Refactor ConDecl: Trac #14529Simon Peyton Jones2017-12-071-0/+2
* Fix typo in accessor nameGabor Greif2017-10-301-1/+1
* Bump ghc-prim to 0.5.2.0 and update changelogHerbert Valerio Riedel2017-10-171-1/+1
* 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
View Lorry Controller Status