« Changelog History


th-abstraction v0.2.9.0 Release Notes

Release Date: 2018-12-20 // over 5 years ago
    • 🛠 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.