purescript v0.10.2 Release Notes

Release Date: 2016-11-07 // over 5 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 - run psc 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 as Semigroup. See the purescript-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)