From fa457b3b6ab074c017006019cd13f5ba770cae9e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=A9mie=20Dimino?= Date: Tue, 6 Oct 2015 11:12:38 +0000 Subject: [PATCH] Update Changes git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16462 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- Changes | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Changes b/Changes index fd96dadd4..660550fba 100644 --- a/Changes +++ b/Changes @@ -27,6 +27,11 @@ Language features: they can be unboxed or untagged. Supports untagging int and unboxing int32, int64, nativeint and float. (Jérémie Dimino, Mark Shinwell) +- GPR240: replace special annotations on externals by attributes: + * "float" is generalized to [@@unboxed] + * "noalloc" becomes [@@noalloc] + Deprecate "float" and "noalloc". + (Jérémie Dimino) Compilers: - PR#6501: harden the native-code generator against certain uses of "%identity"