Changelog for type-errors-0.2.0.1
Changelog for type-errors
0.2.0.1 (2022-11-24)
- Bumped version bounds
0.2.0.0 (2019-07-03)
Breaking Changes
- The
UnlessPhantom
and variousSubst
type families were broken in the presence of stuckness. This rendered them almost entirely unusable --- so they now have a new implementation in terms ofte
. - Added
te
, a TemplateHaskell splice, which will perform symbolic substitutions over types. See haddock for the migration details.