@@ -9,18 +9,24 @@
99 ...
1010
1111- Prelude modules now follow a naming scheme similar to haskell (e.g. `Data.Maybe`, `Control.Monad`) (garyb)
12+- Many modules that were previously part of the Prelude have been split into individual libraries, [now distributed via Bower](http://bower.io/search/?q=purescript) (garyb)
1213- Multiple modules with the same name are now disallowed rather than merged (garyb)
1314- The `--runtime-type-checks` flag has been removed. Runtime type checks have been superceded by the `purescript-foreign` library (paf31)
14−- The `Prelude` module is now imported automatically. Conflicts can be avoided by using qualified imports or a specific import list. (garyb, paf31)
15−- Overlapping instances are no longer allowed. The `Prelude` and core liblaries have been updated accordingly. (paf31)
15+- The `Prelude` module is now imported automatically. Conflicts can be avoided by using qualified imports or an explicit import list. (garyb, paf31)
16+- Overlapping instances are no longer allowed. The `Prelude` and core libraries have been updated accordingly. (paf31)
17+- `Functor`, `Applicative`, `Monad` are now part of a class heirarchy that include `Apply` and `Bind`. `return` is now an alias for `pure`. (joneshf, paf31, garyb)
18+- `Semigroupoid` is now a superclass of `Category` (garyb)
1619
1720### New Features
1821
19−- Let bindings are now supported. The `let` keyword can introduce several local (possibly mutually recursive) bindings, along with optional type signatures. (paf31)
2022- Multi parameter typeclasses (paf31)
23+- Superclasses (puffnfresh, paf31)
24+- FlexibleInstances and FlexibleContexts (paf31)
25+- Let bindings are now supported. The `let` keyword can introduce several local (possibly mutually recursive) bindings, along with optional type signatures. (paf31)
26+- `where` clauses are now supported in value declarations, with the same rules as `let` bindings (garyb)
2127- Empty data declarations and empty type classes are now supported (paf31)
28+- Records and record accessors now support string literals for names that are not valid identifiers, e.g. `{ "!prop?": true }`, `obj."!prop?"` (paf31)
2229- A new command line option `--codegen` controls which modules will have Javascript and externs generated (paf31)
23−- `where` clauses are now supported in value declarations (garyb)
2430
2531### Enhancements
2632
@@ -43,7 +49,7 @@
4349- Case statements and functions which do not pattern match on their arguments now generate smaller code (paf31)
4450- Imported type class instances are now exported (paf31)
4551- Some error messages were improved (paf31)
46−- Qualfied module imports are now supported as `import qualified M as X` (garyb).
52+- Qualfied module imports are now supported as `import qualified M as X` (garyb)
4753- The escape check was removed, since it was too restrictive (paf31)
4854- The binary operator reordering step was greatly simplified (paf31)
4955- The Object type constructor can now be referenced explicitly as `Prim.Object` (with kind `# * -> *`) (paf31)
@@ -51,8 +57,10 @@
5157- Unary minus and signed numeric literals are now supported again (paf31, garyb)
5258- Type errors have been simplified, the full trace can be enabled with `--verbose-errors` or `-v` (paf31)
5359- Error messages now display source positions (paf31, garyb)
54−- The type classes implementation and code generation was greatly simplified. (paf31)
55−- Object properties and row labels can now be accessed with arbitrary string names by using string literals. (paf31)
60+- The type classes implementation and code generation was greatly simplified (paf31)
61+- Object properties and row labels can now be accessed with arbitrary string names by using string literals (paf31)
62+- `(++)` is now an alias for the Semigroup operator `(<>)` (paf31)
63+- Error messages for classes with undefined or missing members have been improved (garyb)
5664
5765### Bug Fixes
5866
@@ -72,6 +80,7 @@
7280- Characters in string literals are now properly escaped (garyb)
7381- A module containing a single orphan type declaration and no other declarations now fails to compile (garyb)
7482- An error involving ordering of type class instances was fixed (garyb, paf31)
83+- Externs files no longer include fixity declarations for members that were removed as dead code (garyb)
7584
7685### Libraries
7786