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.
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.
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.
PureScript v0.10.2 发布,静态类型语言
PureScript v0.10.2 发布了,PureScript 是个小巧而强大的静态类型语言,可以编译成 JavaScript。PureScript 主要是由 Haskell 和 PureScript 编写的。
该版本更新内容如下:
主要变化
类型导向搜索 (@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 versionupdate- sync the local package collection with the package setinstall- install a specific package from the current set and add it to the package configbuild- runpscon any active packagessources- list source globs for active package versionsdependencies- list transitive dependencies of the current projectFor example:
Eventually,
psc-packagemight 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的派生 (@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-reppackage for examples.增强
#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 修复
#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
TypeLevelStringwhen 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)
其他
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)
下载地址及发布说明