[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2009-05-11 (17:49) |
From: | Yitzhak Mandelbaum <yitzhakm@C...> |
Subject: | float array/record unboxing |
hi, Does anyone know whether float arrays/records are unboxed if float is used to instantiate a type parameter? E.g. module F (R:sig type t end) = struct type foo = { a1 : R.t; b1 : R.t; } end module M = F(struct type t = float end) Is M.foo an unboxed array of floats (as per Chapter 18.3.2 in the manual) or not? Empirical evidence suggests that the floats *are* boxed. If this is the case, can anyone point me to where this feature is documented? Thanks, Yitzhak ----------------------------- Yitzhak Mandelbaum