« Changelog History


th-abstraction v0.3.0.0 Release Notes

Release Date: 2019-04-26 // almost 5 years ago
    • 💥 Breaking change: the datatypeVars field of DatatypeInfo is now of type [TyVarBndr] instead of [Type], as it now refers to all of the bound type variables in the data type. The old datatypeVars field has been renamed to datatypeInstTypes to better reflect its purpose.

    In addition, the type of normalizeCon now has an additional [TyVarBndr] argument, since DatatypeInfo now requires it.

    • 👌 Support template-haskell-2.15.
    • 🛠 Fix a bug in which normalizeDec would not detect existential type variables in a GADT constructor if they were implicitly quantified.
    • 🛠 Fix a bug in which normalizeDec would report an incorrect number of datatypeVars for GADT declarations with explicit return kinds (such as data Foo :: * -> * where).