# HG changeset patch # User Adam Chlipala # Date 1385303198 18000 # Node ID 7d26b96370af2cd0f8d4d39020a11e33286b56ab # Parent 0337d8aed94bbd35edef3deeb32bbaa2208a6b97 New release diff -r 0337d8aed94b -r 7d26b96370af CHANGELOG --- a/CHANGELOG Fri Nov 22 09:48:16 2013 -0500 +++ b/CHANGELOG Sun Nov 24 09:26:38 2013 -0500 @@ -1,3 +1,24 @@ +======== +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:
,
,
, , and +- Add 'rel' attribute to +- 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 -r 0337d8aed94b -r 7d26b96370af configure.ac --- a/configure.ac Fri Nov 22 09:48:16 2013 -0500 +++ b/configure.ac Sun Nov 24 09:26:38 2013 -0500 @@ -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