From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA18117; Wed, 23 Jan 2002 17:02:45 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA17834 for ; Wed, 23 Jan 2002 17:02:44 +0100 (MET) Received: from nef.ens.fr (nef.ens.fr [129.199.96.32]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g0NG2hT29612; Wed, 23 Jan 2002 17:02:43 +0100 (MET) Received: from dmi.ens.fr (dmi.ens.fr [129.199.96.11]) by nef.ens.fr (8.10.1/1.01.28121999) with ESMTP id g0NG2hh76271 ; Wed, 23 Jan 2002 17:02:43 +0100 (CET) Received: from basilic.ens.fr (monniaux@basilic [129.199.99.48]) by dmi.ens.fr (8.10.1/jb-1.3-180200) id g0NG2dp18539 ; Wed, 23 Jan 2002 17:02:39 +0100 (MET) Received: from localhost (monniaux@localhost) by basilic.ens.fr (8.11.0/jb-1.1) id g0NG2cr23343 ; Wed, 23 Jan 2002 17:02:38 +0100 (MET) X-Authentication-Warning: basilic.ens.fr: monniaux owned process doing -bs Date: Wed, 23 Jan 2002 17:02:37 +0100 (MET) From: David Monniaux X-Sender: monniaux@basilic.ens.fr To: Xavier Leroy cc: Liste CAML Subject: Re: [Caml-list] Re: Float and OCaml C interface In-Reply-To: <20020123160709.A15740@pauillac.inria.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=ISO-8859-1 Content-Transfer-Encoding: 8BIT Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, 23 Jan 2002, Xavier Leroy wrote: > The "float" declaration at the end instructs ocamlopt to perform (and > optimize!) the unboxing of the arguments and the boxing of the result > itself, rather than relying on "f" to do it. There are several such declarations ("noalloc", "float"...). Are they documented somewhere? Is browsing the source code of the standard library the only way to know about them? :-) Regards, David Monniaux http://www.di.ens.fr/~monniaux Laboratoire d'informatique de l'École Normale Supérieure, Paris, France ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr