summaryrefslogtreecommitdiffstats
path: root/Changes
diff options
context:
space:
mode:
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