purescript v0.10.2 Release Notes
Release Date: 2016-11-07 // over 7 years ago-
Major Changes
Type-directed search (@kRITZCREEK)
This extends the typed holes error messages to include suggested replacements for a typed hole, by using type subsumption to determine which identifiers in scope are appropriate replacements.
A blog post will accompany this feature soon.
๐ฆ
psc-package
(@paf31)๐ฆ This is an experimental package manager for PureScript packages. It supports the following commands:
- ๐ฆ
init
- create a new project using the package set for the current compiler version - โก๏ธ
update
- sync the local package collection with the package set - ๐ฆ
install
- install a specific package from the current set and add it to the package config - ๐
build
- runpsc
on any active packages - ๐ฆ
sources
- list source globs for active package versions dependencies
- list transitive dependencies of the current project
For example:
$ psc-package init $ psc-package install transformers $ psc-package build
๐ฆ Eventually,
psc-package
might replace the use of Bower, but that will require support from tools like Pulp. For now, package authors should continue to publish packages using Bower and Pursuit.Data.Generic.Rep.Generic
Deriving (@paf31)๐ This is an alternative generic programming implementation based on
GHC.Generics
. It should allow deriving of more interesting classes, such asSemigroup
. See thepurescript-generics-rep
package for examples.โจ Enhancements
- #2323: Sort IDE-generated explicit imports (@bbqbaron)
- #2374: Add error message for ambiguous type variables in inferred contexts (@bbqbaron)
- ๐ #934 Add paste mode, remove --multi-line option (@paf31)
- ๐ Allow symbols in data constructors (@brandonhamilton)
- ๐ Fix inliner for integer bitwise operators (@brandonhamilton)
- ๐ Use SSL for pursuit queries (@guido4000)
๐ Bug Fixes
- #2370, allow rows in instance contexts (@paf31)
- #2379, add error message for unknown classes (@paf31)
- ๐ Better error messages for bad indentation (@paf31)
- ๐ Fix inliner for
Data.Array.unsafeIndex
(@brandonhamilton) - ๐ Fix issue with typed holes in inference mode (@paf31)
- ๐ Fix scope traversal for do-notation bind. (@LiamGoodacre)
- ๐ Handle
TypeLevelString
when checking orphans (@joneshf) - ๐ Move unsafeIndex to Data.Array (@brandonhamilton)
- ๐จ Pretty-print suggested types differently (@paf31)
- Traversal should pick up bindings in all value declarations. (@LiamGoodacre)
- Treat type annotations on top-level expressions as if they were type declarations (@paf31)
Other
- ๐จ Refactor subsumes function (@paf31)
- ๐จ Refactor to use
lens
(@kRITZCREEK) - Small cleanup to
Language.PureScript.Interactive.IO
(@phiggins) - ๐ Speeds up parsing by reading files as
Text
(@kRITZCREEK) - โก๏ธ Update outdated comments about Prim types (@rightfold)
- ๐ฆ