@@ -11,7 +11,7 @@
11- Prelude modules now follow a naming scheme similar to haskell (e.g. `Data.Maybe`, `Control.Monad`) (garyb)
11- Prelude modules now follow a naming scheme similar to haskell (e.g. `Data.Maybe`, `Control.Monad`) (garyb)
12- Multiple modules with the same name are now disallowed rather than merged (garyb)
12- Multiple modules with the same name are now disallowed rather than merged (garyb)
13- The `--runtime-type-checks` flag has been removed. Runtime type checks have been superceded by the `purescript-foreign` library (paf31)
13- 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)
14+- The `Prelude` module is now imported automatically. Conflicts can be avoided by using qualified imports or a specific import list. (garyb, paf31)
16### New Features
16### New Features
@@ -47,6 +47,8 @@
47- The Object type constructor can now be referenced explicitly as `Prim.Object` (with kind `# * -> *`) (paf31)
47- The Object type constructor can now be referenced explicitly as `Prim.Object` (with kind `# * -> *`) (paf31)
48- Optimizations are now enabled by default and can be disabled with the `--no-tco` and `--no-magic-do` flags (garyb)
48- Optimizations are now enabled by default and can be disabled with the `--no-tco` and `--no-magic-do` flags (garyb)
49- Unary minus and signed numeric literals are now supported again (paf31, garyb)
49- Unary minus and signed numeric literals are now supported again (paf31, garyb)
50+- Type errors have been simplified, the full trace can be enabled with `--verbose-errors` or `-v` (paf31)
51+- Error messages now display source positions (paf31, garyb)
51### Bug Fixes
53### Bug Fixes
@@ -64,6 +66,7 @@
64- If a type defined in a module appears in an exported declaration it must also be exported from the module (garyb)
66- If a type defined in a module appears in an exported declaration it must also be exported from the module (garyb)
65- Error messages for unresolvable types or values include the declaration name again (garyb)
67- Error messages for unresolvable types or values include the declaration name again (garyb)
66- Characters in string literals are now properly escaped (garyb)
68- Characters in string literals are now properly escaped (garyb)
69+- A module containing a single orphan type declaration and no other declarations now fails to compile (garyb)
68### Libraries
71### Libraries