New Features
RowToList
support
There is a new type class in typelevel-prelude
called RowToList
, which turns
a row of types into a type-level list. This allows us to work with closed
rows in more ways at the type level. The compiler will now solve these constraints
automatically for closed rows of types.
Enhancements
- Allow things to be hidden from Prim (@garyb)
- Re-evaluate REPL globs on
:reload
(@hdgarrood) - Include comments in child declarations in HTML docs (@hdgarrood)
IDE Enhancements
- Collect data constructors (@kritzcreek)
- Adds declarations for Prim (@kritzcreek)
- Repopulates the rebuild cache when populating volatile state (@kritzcreek)
- Add declaration type filter (#2924) (@sectore)
- Improve reexport bundling (@kritzcreek)
- Resolve synonyms and kinds (@kritzcreek)
Bug Fixes
- Replace synonyms in instance constraints (@LiamGoodacre)
- Encode PSCI's server content as UTF-8 string (@dgendill)
- Fix child declaration ordering in docs (@hdgarrood)
- Improve instance ordering in HTML docs (@hdgarrood)
- Fix links to type operators in HTML docs (@hdgarrood)
Other
- Add source span annotations to Declaration (@garyb)
- Add source span annotations to DeclarationRef (@garyb)
- Remove
purescript.cabal
and add to.gitignore
(@garyb) - Raise upper bound on
aeson
inpackage.yaml
(@garyb) - Only build master and semver tags in Travis (@hdgarrood)