Thanks once again to everyone involved in this release!
This release includes some updates to generic deriving which require updating to the latest version of purescript-generics
.
Features
-
Field puns, fix #921 (@balajirrao)
It is now possble to construct objects by using values in scope with the same name as the field labels. For example, the expression
{ foo, bar }
is equivalent to{ foo: foo, bar: bar }
. Patterns desugar in the same way.
Enhancements
- Modules are now parsed in parallel (@paf31)
- Use
Types.Proxy.Proxy
instead ofData.Generic.Proxy
. This fixes #1573 (@tfausak) - Update generic deriving for latest
purescript-generics
changes (@paf31) - New import warnings - unused data constructors, unused imports (@nwolverson)
psc-publish
: only warn on dirty working tree on dry runs (@hdgarrood)- Add more information to psci :browse command (@soupi)
- Add support for --require-path option to psc-bundle (@natefaubion)
- Improved error reporting in psc-publish (@hdgarrood)
- Reduce noise in instance declarations in documentation (@hdgarrood)
Bug Fixes
- New approach to unification, fixing some loops in the type checker (@paf31)
- Fix #1632, instantiate type variables in anyProxy calls in generic instances (@paf31)
- Fix warnings for unqualified implicit imports (@nwolverson)
- Fix #1596, don't show type checker warnings in the event of an error (@paf31)
- Fix #1602, improvements around code generation of string literals (@michaelficarra)
- Fix #1090, allow accessors in operator sections (@paf31)
- Fix #1590, limit depth of pretty-printed expressions (@paf31)
- Fix #1591, use the 'negate' in scope (@paf31)
- Fix #1335, track scoped type variables when skolemizing (@paf31)
- Fix #1175, check types inside where clauses inside instances (@paf31)
- Some refactoring (@phadej)
- Fixed some error messages (@zudov)