From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 341FABCAF for ; Wed, 29 Jun 2005 20:06:58 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j5TI6vol006821 for ; Wed, 29 Jun 2005 20:06:57 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA03667 for ; Wed, 29 Jun 2005 20:06:57 +0200 (MET DST) Received: from smtp001.mail.ukl.yahoo.com (smtp001.mail.ukl.yahoo.com [217.12.11.32]) by nez-perce.inria.fr (8.13.0/8.13.0) with SMTP id j5TI6vbA006818 for ; Wed, 29 Jun 2005 20:06:57 +0200 Received: (qmail 70403 invoked from network); 29 Jun 2005 18:06:56 -0000 Received: from unknown (HELO ?82.121.19.134?) (sejourne?kevin@82.121.19.134 with plain) by smtp001.mail.ukl.yahoo.com with SMTP; 29 Jun 2005 18:06:56 -0000 Message-ID: <42C2E3AA.8090502@yahoo.fr> Date: Wed, 29 Jun 2005 20:08:42 +0200 From: sejourne_kevin User-Agent: Mozilla Thunderbird 1.0.2 (X11/20050331) X-Accept-Language: fr, en MIME-Version: 1.0 Cc: "O'Caml Mailing List" Subject: Re: [Caml-list] Type abstraction and (polymorphic) equality References: <20050629.023111.15476874.debian00@tiscali.be> In-Reply-To: <20050629.023111.15476874.debian00@tiscali.be> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Miltered: at nez-perce with ID 42C2E341.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42C2E341.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 abstraction:01 christophe:01 troestler:01 compilation:01 compilation:01 recursives:01 pervasives:01 compiler:01 recursives:01 ...:98 telechargez:98 equality:01 equality:01 polymorphic:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: Christophe TROESTLER a écrit : > - One introduces the same capability of providing a special equality > (comparison) for certain types but, during compilation, "expand" > functions till the type for "=" is given by known functions > (something like a "generic" equality). I guess however that that > may cause problems with separate compilation... A generic equality should be one that work with recursives. A such equality is slower than the Pervasives.(=) one. So (=) is just an optimisation of a generic one that don't have been fully implemented. When the compiler generate code he have the complete type, no ? so he can know if a type is recursives or not, so he can select the slow but recursives compliant version are the actual. Maybe that it is more complex than this, no? ___________________________________________________________________________ Appel audio GRATUIT partout dans le monde avec le nouveau Yahoo! Messenger Téléchargez cette version sur http://fr.messenger.yahoo.com