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 | 4bc1692a3dfe9f08dda07a192375f8e3ed3a0fe5 (patch) | |
| tree | 422d185f0e9fb44e840ed77607870dbe0e0d3fbc | |
| parent | d1f2bff235da587284f682679f365311637b1bb1 (diff) | |
New release
| -rw-r--r-- | CHANGELOG | 21 | ||||
| -rw-r--r-- | configure.ac | 4 |
2 files changed, 23 insertions, 2 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 ======== diff --git a/configure.ac b/configure.ac index 2f184c01..a0b8f514 100644 --- a/configure.ac +++ b/configure.ac @@ -1,5 +1,5 @@ -AC_INIT([urweb], [20130421]) -WORKING_VERSION=1 +AC_INIT([urweb], [20131124]) +WORKING_VERSION=0 AC_USE_SYSTEM_EXTENSIONS # automake 1.12 requires this, but automake 1.11 doesn't recognize it |