« Changelog History


type-errors v0.2.0.0 Release Notes

Release Date: 2019-07-03 // about 5 years ago

  • 💥 Breaking Changes

    • The UnlessPhantom and various Subst type families were broken in the presence of stuckness. This rendered them almost entirely unusable --- so they now have a new implementation in terms of te.
    • ➕ Added te, a TemplateHaskell splice, which will perform symbolic substitutions over types. See haddock for the migration details.