Enhancements
Solving IsSymbol
instances
The compiler will now derive Data.Symbol.IsSymbol
instances for type-level string literals.
This enables interesting type-level programming features, such as deriving Show
instances using Data.Generics.Rep
.
Rows in Instance Heads
The compiler now allows rows to appear in type class instance heads, but only in type arguments which are fully determined by some functional dependency.
This allows instances like
MonadState { field :: Type } MyAppMonad
and also Newtype
instances for newtypes which contain records.
Speeds up parsing by reading files as Text
The use of String
has been replaced by Text
in the compiler, resulting in some non-trivial performance improvements.
Functional Dependencies in psc-docs
output
psc-docs
now includes functional dependency information when rendering type classes.
New psc-package
Commands
- The
available
command (@andyarvanitis) shows all available packages in the current package set - The
uninstall
command (@joneshf) removes a package from the set of active packages and updates the package configuration file.
Type Class Warning (@joneshf)
A warning was added for shadowed type variables in type class declarations.
Bug Fixes
psc-package
: display full path in 'packages.json does not exist' error messsage (@andyarvanitis)- Use
writeUTF8File
inpsc-bundle
(@hdgarrood) - Use HTTPS to query Pursuit (@paf31)
- Moved the expansion of astral code points to UTF-16 surrogate pairs from the JS code generator to the parser (@michaelficarra, #2434)
- Allow astral code points in record literal keys (@michaelficarra, #2438)
- Add value source positions (@nwolverson)
- Update error message of
ErrorInDataBindingGroup
to include participating identifiers (@LiamGoodacre)
psc-ide
- Polling option for psc-ide-server (@kritzcreek)
- Better logging and diagnostics (@kritzcreek)
Other
- Dump output of
psc
tests to file (@andyarvanitis, #2453) - Fix windows CI (@hdgarrood)
- Link to new documentation repo (@hdgarrood)
- Create documentation for psc-package (@paf31)
- Fix GHC 8.0.2 build (@RyanGlScott)
- Add
psc-package
to release bundle (@marsam) - Update for latest
language-javascript
(@tmcgilchrist) - Fix exhaustivity warnings (@charleso)
- Update
CONTRIBUTING.md
(@osa1)