@@ -15,7 +15,7 @@
1515
1616### New Features
1717
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)
1919- Multi parameter typeclasses (paf31)
2020- Empty data declarations and empty type classes are now supported (paf31)
2121- A new command line option `--codegen` controls which modules will have Javascript and externs generated (paf31)
@@ -43,6 +43,7 @@
4343- Qualfied module imports are now supported as `import qualified M as X` (garyb).
4444- The escape check was removed, since it was too restrictive (paf31)
4545- 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)
4647
4748### Bug Fixes
4849
@@ -55,6 +56,7 @@
5556- Externs files (`--externs`) are now working again (paf31)
5657- Precedence of backticked infix functions have been corrected (paf31)
5758- 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)
5860
5961### Libraries
6062