summaryrefslogtreecommitdiff
path: root/testsuite/tests/th
Commit message (Expand)AuthorAgeFilesLines
* Fix pretty-printing of data declarations in splicesKrzysztof Gogolewski2018-07-223-0/+65
* Do not imply NoStarIsType by TypeOperators/TypeInTypeVladislav Zavialov2018-07-162-0/+2
* Fix handling of unbound constructor names in TH #14627Michael Sloan2018-07-123-0/+9
* Fix handling of ApplicativeDo in TH AST quotesMichael Sloan2018-07-125-0/+38
* Add a broken test for lingering state from TH unique names #9693Michael Sloan2018-07-065-0/+31
* Fix #15331 with careful blasts of parenthesizeHsTypeRyan Scott2018-07-053-0/+16
* Parenthesize rank-n contexts in ConvertRyan Scott2018-07-053-0/+14
* Add regression test for #15321Ömer Sinan Ağacan2018-07-043-0/+22
* Mark some TH tests as req_interpÖmer Sinan Ağacan2018-06-192-4/+4
* Built-in Natural literals in CoreSylvain Henry2018-06-158-17/+17
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-149-11/+12
* testsuite: Remove uniques from T15243's stderr outputBen Gamari2018-06-101-10/+10
* testsuite: Suppress uniques in T15243 outputBen Gamari2018-06-101-1/+1
* Fix #15243 by fixing incorrect uses of NotPromotedRyan Scott2018-06-075-4/+32
* Improved Valid Hole FitsMatthías Páll Gissurarson2018-05-302-27/+33
* Check for mismatched class methods during typecheckingRyan Scott2018-05-243-0/+15
* 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