diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-11-16 17:52:26 +0000 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-11-16 17:52:26 +0000 |
commit | eece1bbe45e4cd18b2a2487b00ee90632aba0e37 (patch) | |
tree | 2e87e54e0ad2f61744588fe814de7cce98991952 /Changes | |
parent | 8591c2532ee6040bf961cf1a5b426d513e351dbe (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-- | Changes | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -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 |