From 4bc1692a3dfe9f08dda07a192375f8e3ed3a0fe5 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 24 Nov 2013 09:26:38 -0500 Subject: New release --- CHANGELOG | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index 8167452b..25e27738 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -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 ======== -- cgit v1.2.3