polysemy v1.7.1.0 Release Notes
Release Date: 2021-11-23 // over 2 years ago-
Other Changes
- ๐ Support GHC 9.2.1
Previous changes from v1.7.0.0
-
๐ฅ Breaking Changes
- โ Added interpreters for
AtomicState
that run in terms ofState
. - โ Removed
MemberWithError
- โ Removed
DefiningModule
Other Changes
- The internal
ElemOf
proof is now implemented as an unsafe integer, significantly cutting down on generated core. - Polysemy no longer emits custom type errors for ambiguous effect actions.
These have long been rendered moot by
polysemy-plugin
, and the cases that they still exist are usually overeager (and wrong.) - As a result, the core produced by
polysemy
is significantly smaller. Programs should see a reduction of ~20% in terms and types, and ~60% in coercions.
- โ Added interpreters for