@@ -15,7 +15,7 @@
16### New Features
16### New Features
18−- `let ... in` syntax for bindings (paf31)
18+- Let bindings are now supported. The `let` keyword can introduce several local (possibly mutually recursive) bindings, along with optional type signatures. (paf31)
19- Multi parameter typeclasses (paf31)
19- Multi parameter typeclasses (paf31)
20- Empty data declarations and empty type classes are now supported (paf31)
20- Empty data declarations and empty type classes are now supported (paf31)
21- A new command line option `--codegen` controls which modules will have Javascript and externs generated (paf31)
21- A new command line option `--codegen` controls which modules will have Javascript and externs generated (paf31)
@@ -43,6 +43,7 @@
43- Qualfied module imports are now supported as `import qualified M as X` (garyb).
43- Qualfied module imports are now supported as `import qualified M as X` (garyb).
44- The escape check was removed, since it was too restrictive (paf31)
44- The escape check was removed, since it was too restrictive (paf31)
45- The binary operator reordering step was greatly simplified (paf31)
45- The binary operator reordering step was greatly simplified (paf31)
46+- The Object type constructor can now be referenced explicitly as `Prim.Object` (with kind `# * -> *`) (paf31)
47### Bug Fixes
48### Bug Fixes
@@ -55,6 +56,7 @@
55- Externs files (`--externs`) are now working again (paf31)
56- Externs files (`--externs`) are now working again (paf31)
56- Precedence of backticked infix functions have been corrected (paf31)
57- Precedence of backticked infix functions have been corrected (paf31)
57- A bug which allowed some incorrect type class instances to pass the type checker was fixed (paf31)
58- A bug which allowed some incorrect type class instances to pass the type checker was fixed (paf31)
59+- Type synonyms are no longer restricted to kind `*` (paf31)
59### Libraries
61### Libraries