Revision history for th-abstraction

0.2.10.0 – 2018-12-20

• Optimization: quantifyType now collapses consecutive foralls. For instance, calling quantifyType on forall b. a -> b -> T a now produces forall a b. a -> b -> T a instead of forall a. forall b. a -> b -> T a.

0.2.9.0 – 2018-12-20

• Fix a bug in which resolveTypeSynonyms would not look into ForallTs, SigTs, InfixTs, or ParensTs.
• Fix a bug in which quantifyType would not respect the dependency order of type variables (e.g., Proxy (a :: k) would have erroneously been quantified as forall a k. Proxy (a :: k)).
• Fix a bug in which asEqualPred would return incorrect results with GHC 8.7.
• Add a freeVariablesWellScoped function which computes the free variables of a list of types and sorts them according to dependency order.
• Add a resolveKindSynonyms function which expands all type synonyms in a Kind. This is mostly useful for supporting old GHCs where Type and Kind were not the same.

0.2.8.0 – 2018-06-29

• GADT reification is now much more robust with respect to PolyKinds:

  • A bug in which universally quantified kind variables were mistakenly flagged as existential has been fixed.

  • A bug in which the kinds of existentially quantified type variables were not substituted properly has been fixed.

  • More kind equalities are detected than before. For example, in the following data type:

    data T (a :: k) where
      MkT :: forall (a :: Bool). T a
    

    We now catch the k ~ Bool equality.

• Tweak resolveTypeSynonyms so that failing to reify a type constructor name so longer results in an error. Among other benefits, this makes it possible to pass data types with GADT syntax to normalizeDec.

0.2.7.0 – 2018-06-17

• Fix bug in which data family instances with duplicate occurrences of type variables in the left-hand side would have redundant equality constraints in their contexts.

0.2.6.0 – 2017-09-04

• Fix bug in which applySubstitution and freeVariables would ignore type variables in the kinds of type variable binders.

0.2.5.0

• Added pragLineDCompat, newtypeDCompat and tySynInstDCompat

0.2.4.0 – 2017-07-31

• Fix bug that caused GADT equality constraints to be incorrect in some cases.
• Expose Unpackedness and Strictness (which were unexported by accident).

0.2.3.0 – 2017-06-26

• Add resolvePredSynonyms
• Add reifyConstructor, which allows reification of ConstructorInfo from a constructor name, and lookupByConstructorName, which allows directly looking up a ConstructorInfo from a DatatypeInfo value for a given constructor Name.
• Augment reifyDatatype to be able to look up DatatypeInfo from the Name of a record selector for one of its constructors. Also add reifyRecord for reification of of ConstructorInfo from a record name, and lookupByRecordName, which allows directly looking up a ConstructorInfo from a DatatypeInfo value for a given record Name.
• Fix bug that caused th-abstraction to fail on GHC 7.0 and 7.2 when passing a vanilla constructor name to reifyDatatype
• Make normalizeDec and normalizeCon more robust with respect to data family instances on GHC 7.6 and 7.8

0.2.2.0 – 2017-06-10

• Fix freeVariables on lists not not produce duplicates.

0.2.1.0 – 2017-06-09

• Add sensible reify defaults and error messages when we can’t backport fixes to old GHC Template Haskell output due to hand-written Decs being processed.

0.2.0.0 – 2017-06-03

• Added reifyFixityCompat
• Added constructorStrictness field to ConstructorInfo
• Infer more kind signatures when missing on old GHCs
• Added parameter to normalizeCon
• Support GHC back to 7.0.4

0.1.3.0 – 2017-05-27

• Added resolveInfixT which uses reified fixity information to resolve UInfixT
• Added asEqualPred and asClassPred
• Fixed data-instance GADTs

0.1.2.1 – 2017-05-21

• Add eta reduction fixes to GHC 7.6

0.1.2.0 – 2017-05-21

• Added arrowKCompat
• Added workaround for GHC 7.8 data instance eta reduction bug
• Added kind signatures to datatypeVars

0.1.1.0 – 2017-05-20

• Better matching of constraints generated for GADTs across GHC versions
• Added dataDCompat
• Support for giving value constructors to reifyDatatype. This enables data families to be reified easily.

0.1.0.0 – 2017-04-26

• First version.