ChangeLog

0.2.5.2

• Fixes build with ghc-9.0 (template-haskell-2.17)

0.2.5.1

• typeRepToType now supports type literals, tuples and lists. See #18

0.2.5.0

• Adds tupT and promotedTupT.

• Adds TH.FixQ.fixQ, a compatibility shim to provide fixQ for template-haskell <= 2.17 (ghc <= 9.0.1).

0.2.4.3

• Adds a lower bound for th-abstraction dependency. Also released as a hackage revision of 0.2.4.2. See #15

0.2.4.2

• Fixes compilation with GHC-9.0.*. See #14

0.2.4.1

• Fixes generated Storable instances to have a sizeOf definition which works with -XStrict. See #13

0.2.4.0

• Compatibility with GHC-8.10

• Behavior change in reification of type family instances. Instead of erroring if the instance mentions a kind variable, now just ignores it.

0.2.3.1

• Compatibility with GHC-8.8

0.2.3.0

• Improved fix to the type variable behavior with GHC <= 7.10. Uses Any in place of type variables instead of (), to allow for more kinds than just * and Constraint.

0.2.2.0

• Fixes derive and instantiator mechanisms to work with ghc 7.10 and earlier. Previously, invocation was broken when type variables were used.

• Fixes freeVarsT - it now looks through more constructors of Type.

• Adds dequalifyTyVars to dequalify every type variable.

0.2.0.1

• Fixes build on 7.8

• Fixes warnings

0.2.0.0

• Adds TH.ReifySimple, which supports reifying most of the information TH users care about.

• Adds some utilities based on SYB, which is often useful for TH.

• Makes relative path stuff less noisyi with GHCi.

0.1.0.0

• First public release