From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id E2252BCAE for ; Thu, 30 Jun 2005 09:46:26 +0200 (CEST) Received: from net.univ-savoie.fr (net.univ-savoie.fr [193.48.120.75]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j5U7kQp2027365 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Thu, 30 Jun 2005 09:46:26 +0200 Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by net.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id j5U7kCXN008395 ; Thu, 30 Jun 2005 09:46:12 +0200 Received: from [193.48.123.45] (d45.lama.univ-savoie.fr [193.48.123.45]) by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id j5U7kBiB001902 ; Thu, 30 Jun 2005 09:46:11 +0200 Message-ID: <42C3A346.6000507@univ-savoie.fr> Date: Thu, 30 Jun 2005 09:46:14 +0200 From: Christophe Raffalli User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.6) Gecko/20050322 X-Accept-Language: en-us, en MIME-Version: 1.0 To: brogoff Cc: Christophe TROESTLER , caml-list@yquem.inria.fr Subject: Re: [Caml-list] Type abstraction and (polymorphic) equality References: <20050629.023111.15476874.debian00@tiscali.be> <200506291012.30612.jon@ffconsultancy.com> <20050629.153210.99062320.debian00@tiscali.be> In-Reply-To: X-Enigmail-Version: 0.89.6.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enigA9642009EEB814065FC66A81" Content-Transfer-Encoding: 8bit X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang) X-Miltered: at concorde with ID 42C3A352.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 caml-list:01 abstraction:01 chablais:01 73376:01 univ-savoie:01 lama:01 exception:01 equality:01 equality:01 polymorphic:01 X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" 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: This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enigA9642009EEB814065FC66A81 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit A trick (dirty ?) which would not slow down much performance of the polymorphic equal would be to detect cyclic structure using the bit used by the GC (the equallity will not trigger GC ?), and when you detect a cycle, you either raise an exception or use physical equality depending on the value of a global variable. -- 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 --------------------------------------------- IMPORTANT: this mail is signed using PGP/MIME At least Enigmail/Mozilla, mutt or evolution can check this signature. The public key is stored on www.keyserver.net --------------------------------------------- --------------enigA9642009EEB814065FC66A81 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.0 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD4DBQFCw6NGSQDyWB/+xBwRAkGvAJjmGRAByclVYgV9p7p+0h6s8LuWAKCNzYSI YSHVgbz5oMiGXX6+SmK6Zw== =5yta -----END PGP SIGNATURE----- --------------enigA9642009EEB814065FC66A81--