summaryrefslogtreecommitdiffstats
path: root/Changes
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2014-11-16 17:52:26 +0000
committerGabriel Scherer <gabriel.scherer@gmail.com>2014-11-16 17:52:26 +0000
commiteece1bbe45e4cd18b2a2487b00ee90632aba0e37 (patch)
tree2e87e54e0ad2f61744588fe814de7cce98991952 /Changes
parent8591c2532ee6040bf961cf1a5b426d513e351dbe (diff)
Add punning for object copying expressions.
From: Jeremy Yallop <yallop@gmail.com> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15580 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'Changes')
-rw-r--r--Changes8
1 files changed, 6 insertions, 2 deletions
diff --git a/Changes b/Changes
index 3b5035b8e..cea1d08c3 100644
--- a/Changes
+++ b/Changes
@@ -1,6 +1,12 @@
OCaml 4.03.0:
-------------
+Language features:
+- PR#6374: allow "_ t" as a short-hand for "(_, _, ..) t" for n-ary type
+ constructors (Alain Frisch)
+- allow field punning in object copying expressions: {< x; >} for {< x = x; >}
+ (Jeremy Yallop)
+
Compilers:
- PR#6501: harden the native-code generator against certain uses of "%identity"
(Xavier Leroy, report by Antoine Miné).
@@ -16,8 +22,6 @@ Standard library:
- PR#6585: fix memory leak in win32unix/createprocess.c
Type system:
-- PR#6374: allow "_ t" as a short-hand for "(_, _, ..) t" for n-ary type
- constructors (Alain Frisch)
* PR#6465: allow incremental weakening of module aliases (Jacques Garrigue).
This is done by adding equations to submodules when expanding aliases.
In theory this may be incompatible is some corner cases defining a module