On Mon, 11 May 2009, Markus Mottl wrote:

> On Mon, May 11, 2009 at 13:49, Yitzhak Mandelbaum
> <yitzhakm@cs.princeton.edu> wrote:
> > Does anyone know whether float arrays/records are unboxed if float is used
> > to instantiate a štype parameter? E.g.
> [snip]
> 
> Since functor applications are currently not inlined, the generated
> code for the functor body has no way of seeing that its dealing with
> an all-floats record.  Hence the record will contain boxed floats.
> 
> > 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?
> 
> I don't think this is documented anywhere, since this is an
> implementation detail that (though unlikely) might even change in the
> future.

This reminded me of a question i asked, what seemed like a jiffy ago:
http://groups.google.com/group/fa.caml/browse_thread/thread/e5e0d989e53de0a1/c64a14722acb0153?hl=en

Given what have been said in that thread the detail becomes worthy of
a mention somewhere.

-- 
mailto:av1474@comtv.ru