Update Changes

2015-11-05 10:44:00 +01:00 · 2015-11-05 10:44:00 +01:00 · 26b8189fe8
parent 203c444fd4
commit 26b8189fe8
1 changed files with 5 additions and 0 deletions
--- a/5
+++ b/5
@ -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