diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-11-24 09:26:38 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-11-24 09:26:38 -0500 |
| commit | a4d5ba7b1f751a615297a275819ee7058535196b (patch) | |
| tree | 422d185f0e9fb44e840ed77607870dbe0e0d3fbc /CHANGELOG | |
| parent | 5697b7b3adf3e0c92e2cb3f413dc9135b99a159c (diff) | |
New release
Diffstat (limited to 'CHANGELOG')
| -rw-r--r-- | CHANGELOG | 21 |
1 files changed, 21 insertions, 0 deletions
@@ -1,4 +1,25 @@ ======== +20131124 +======== + +- Extend 'where con' to allow descending into submodule structure +- Type inference improvements +- Treat transactional FFI functions as effectful by default, + so that 'effectful'/'benignEffectful' .urp directives aren't necessary +- Interpret 'table' signature items more flexibly, + automatically adding (Ur) constraints to support + a kind of subtyping over (SQL) constraint sets +- New header file scheme to support FFI code in either of C or C++ +- New command-line arguments: -ccompiler, -print-ccompiler +- More HTML tags: <dd>, <dl>, <dt>, <em>, and <strong> +- Add 'rel' attribute to <a> +- New type synonym 'xhead' +- Refactored the development Mercurial repository to remove autogenerated files +- More integration with Autotools distribution functionality +- Improvements to documentation and compiler error messages +- Bug fixes and optimization improvements + +======== 20130421 ======== |