th-abstraction v0.3.2.0 Release Notes

Release Date: 2020-02-06 // about 3 years ago
    • ๐Ÿ‘Œ Support substituting into and extracting free variables from ForallVisTs on template-haskell-2.16.0.0 (GHC 8.10) or later.
    • ๐Ÿ›  Fix a bug in which freeVariables could report duplicate kind variables when they occur in the kinds of the type variable binders in a ForallT.
    • ๐Ÿ›  Fix a bug in which resolveInfixT would not resolve UInfixTs occurring in the kinds of type variable binders in a ForallT.
    • ๐Ÿ›  Fix a bug in which the TypeSubstitution ConstructorInfo instance would not detect free kind variables in the constructorVars.