English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
float array/record unboxing
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-05-11 (18:49)
From: Markus Mottl <markus.mottl@g...>
Subject: Re: [Caml-list] float array/record unboxing
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.

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


Markus Mottl        http://www.ocaml.info        markus.mottl@gmail.com