From 26b8189fe8db1e83d7907fd79978aa74d94bdbd2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Thu, 5 Nov 2015 10:44:00 +0100 Subject: [PATCH] Update Changes --- Changes | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Changes b/Changes index 8509510d5..2c2e68964 100644 --- a/Changes +++ b/Changes @@ -154,6 +154,11 @@ Standard library: * Int{32,64}.float_of_bits * Int{32,64}.bits_of_float (Jérémie Dimino) +- GPR#281: Switch the following externals to [@@unboxed]: + * Sys.time (and [@@noalloc]) + * Pervasives.ldexp (and [@@noalloc]) + * Pervasives.compare for float, nativeint, int32, int64. + (Bobot François) Type system: - PR#5545: Type annotations on methods cannot control the choice of abbreviation