Changelog for ghc-tcplugin-api-0.3.1.0
Version 0.3.1.0 (2021-08-09)
Ensure that the coercions stored in Reduction
s are always
oriented left-to-right, by making the internal rewriting compatibility layer
also use left-to-right coercions.
Version 0.3.0.0 (2021-08-04)
Account for changes in rewriting in GHC 9.4:
- rewriter plugins can no longer emit new Wanted constraints if they don't rewrite the type family application;
- coercions in the rewriter are now oriented left-to-right,
requiring
mkTyFamAppReduction
to be adapted.
Version 0.2.0.0 (2021-07-22)
Initial release on Hackage.