summaryrefslogtreecommitdiff
path: root/CHANGELOG
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2013-11-24 09:26:38 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2013-11-24 09:26:38 -0500
commita4d5ba7b1f751a615297a275819ee7058535196b (patch)
tree422d185f0e9fb44e840ed77607870dbe0e0d3fbc /CHANGELOG
parent5697b7b3adf3e0c92e2cb3f413dc9135b99a159c (diff)
New release
Diffstat (limited to 'CHANGELOG')
-rw-r--r--CHANGELOG21
1 files changed, 21 insertions, 0 deletions
diff --git a/CHANGELOG b/CHANGELOG
index 8167452b..25e27738 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -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
========