PureScript v0.14.4 has been released!
Below are a few highlights:
- Fixed a unification bug in the
Prim.Row.Union
type class when computingleft
via theall right -> left
functional dependency - Include bindings referenced in function declarations when bundling
- Slightly improve row type error messages (better diff on rows with duplicate items; removing redundant/irrelevant info)
- Fixed #4101 - inferKind: unkinded forall binder
Backend authors/maintainers:
- type class dictionaries are now represented as newtypes
Most of the other changes are internal: refactoring, improvements, cleanup, etc.
Thank you all who contributed!
Full release notes below: