From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 33470BBC1 for ; Wed, 23 Apr 2008 18:49:55 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah0BAB8FD0jBMHhLlWdsb2JhbACRUgEBAQEJBQcfm2E X-IronPort-AV: E=Sophos;i="4.25,700,1199660400"; d="asc'?scan'208";a="11842536" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Apr 2008 18:49:54 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m3NGnsUH016833 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 23 Apr 2008 18:49:54 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah0BAB8FD0jBMHhLlWdsb2JhbACRUgEBAQEJBQcfm2E X-IronPort-AV: E=Sophos;i="4.25,700,1199660400"; d="asc'?scan'208";a="11842534" Received: from net.univ-savoie.fr ([193.48.120.75]) by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Apr 2008 18:49:54 +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 m3NGna5S012652 ; Wed, 23 Apr 2008 18:49:36 +0200 Received: from d45.lama.univ-savoie.fr (d45.lama.univ-savoie.fr [193.48.123.45]) by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id m3NGnTfl021194 ; Wed, 23 Apr 2008 18:49:30 +0200 Message-ID: <480F689A.6020101@univ-savoie.fr> Date: Wed, 23 Apr 2008 18:49:30 +0200 From: Christophe Raffalli User-Agent: Thunderbird 2.0.0.12 (X11/20080227) MIME-Version: 1.0 To: Berke Durak Cc: Caml-list List Subject: Re: [Caml-list] How to make a value uncomparable References: <480F3E52.60300@exalead.com> <480F578F.9040403@univ-savoie.fr> <480F6082.6030901@exalead.com> In-Reply-To: <480F6082.6030901@exalead.com> X-Enigmail-Version: 0.95.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enig1D213F904D8254573B8E9D94" X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang) X-Miltered: at discorde with ID 480F68B2.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 val:01 bool:01 val:01 bool:01 chablais:01 73376:01 univ-savoie:01 equality:01 lama:01 caml-list:01 X-Attachments: cset="UTF-8" type="application/pgp-signature" name="signature.asc" name="signature.asc" This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enig1D213F904D8254573B8E9D94 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable >=20 > But there's one minor difference: physical equality works on Weak.t but= > not on > functions.=20 What do you mean: # let i x =3D x;; val i : 'a -> 'a =3D # i =3D=3D i;; - : bool =3D true # let j x =3D x;; val j : 'a -> 'a =3D # i =3D=3D j;; - : bool =3D false --=20 Christophe Raffalli Universite de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tel: (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 --------------------------------------------- --------------enig1D213F904D8254573B8E9D94 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.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFID2ifi9jr/RgYAS4RAtqGAJ430bvuSHDyJ7IDwqTFBIP3d7oA9gCgiI43 H7LcMCHIYceXyV1DMySor14= =k6Mk -----END PGP SIGNATURE----- --------------enig1D213F904D8254573B8E9D94--