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 PAA05896; Wed, 13 Nov 2002 15:19:24 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA05876 for caml-list@pauillac.inria.fr; Wed, 13 Nov 2002 15:19:24 +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 LAA31561 for ; Wed, 13 Nov 2002 11:47:00 +0100 (MET) Received: from postfix4-1.free.fr (postfix4-1.free.fr [213.228.0.62]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gADAl0X18647 for ; Wed, 13 Nov 2002 11:47:00 +0100 (MET) Received: from univ-savoie.fr (grenoble-1-a7-62-147-73-93.dial.proxad.net [62.147.73.93]) by postfix4-1.free.fr (Postfix) with ESMTP id F059FD768; Wed, 13 Nov 2002 11:46:56 +0100 (CET) Message-ID: <3DB7D194.3050004@univ-savoie.fr> Date: Thu, 24 Oct 2002 12:55:16 +0200 From: Christophe Raffalli Organization: =?ISO-8859-1?Q?Universit=E9_de_Savoie?= User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.1) Gecko/20020826 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Jacques Garrigue , caml-list@inria.fr Subject: Re: [Caml-list] Records typing References: <20021113101131D.garrigue@kurims.kyoto-u.ac.jp> <20021113190842B.garrigue@kurims.kyoto-u.ac.jp> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > > This the use of "and". In mutually recursive type definitions, other > types are not "known" during the definition, and as a result their > representation cannot be used for optimization. I think this is true > for all ocaml releases, but it is specified nowhere, and could be > wrong. > Since you're not going to write the first defintion anyway, this > shouldn't be a real problem. > The real problem is that when you use a signature like > sig type t type r = {f:t} end > in a functor, then this signature cannot be instanciated by the > unboxed version of r when t = float. And there is no way to solve it > short of inlining functors. And when will their be inlining of functors !!! This is really needed to benefit both from - High level programming using modules and functors - the necessary (I really mean necesasry) optimization for float > Cheers, > > Jacques Garrigue > ------------------- > To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr > Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners -- Christophe Raffalli Université de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tél: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners