All Versions
21
Latest Version
Avg Release Cycle
63 days
Latest Release
1305 days ago

Changelog History
Page 2

  • v0.2.5.0 Changes

    August 09, 2017
    • ➕ Added pragLineDCompat, newtypeDCompat and tySynInstDCompat

  • v0.2.4.0 Changes

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

  • v0.2.3.0 Changes

    June 26, 2017
    • ➕ 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

  • v0.2.2.0 Changes

    June 10, 2017
    • 🛠 Fix freeVariables on lists not not produce duplicates.

  • v0.2.1.0 Changes

    June 09, 2017
    • ➕ 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.

  • v0.2.0.0 Changes

    June 03, 2017
    • ➕ 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

  • v0.1.3.0 Changes

    May 27, 2017
    • ➕ Added resolveInfixT which uses reified fixity information to resolve UInfixT
    • ➕ Added asEqualPred and asClassPred
    • 🛠 Fixed data-instance GADTs

  • v0.1.2.1 Changes

    May 21, 2017
    • ➕ Add eta reduction fixes to GHC 7.6

  • v0.1.2.0 Changes

    May 21, 2017
    • ➕ Added arrowKCompat
    • ➕ Added workaround for GHC 7.8 data instance eta reduction bug
    • ➕ Added kind signatures to datatypeVars

  • v0.1.1.0 Changes

    May 20, 2017
    • 👍 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.