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=1.4 required=5.0 tests=AWL,MSGID_MULTIPLE_AT 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 BEF3EBBAF for ; Sun, 9 Aug 2009 16:13:41 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Au0BAMJ2fkrLOwGWkWdsb2JhbACZPoEMAQEBAQkLCgcTBLB2hBgFgicP X-IronPort-AV: E=Sophos;i="4.43,349,1246831200"; d="scan'208";a="32240993" Received: from outbound.icp-qv1-irony-out4.iinet.net.au ([203.59.1.150]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Aug 2009 16:13:40 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqgEABp2fkp8qFdZ/2dsb2JhbACZPrJAhBgFgicP X-IronPort-AV: E=Sophos;i="4.43,349,1246809600"; d="scan'208";a="451446167" Received: from unknown (HELO ivanz27oq2f1va) ([124.168.87.89]) by outbound.icp-qv1-irony-out4.iinet.net.au with ESMTP; 09 Aug 2009 22:13:37 +0800 From: "ivan chollet" To: "'Alain Frisch'" Cc: References: <000301ca184b$032b8cc0$0982a640$@chollet@free.fr> <000701ca184d$29507e90$7bf17bb0$@metastack.com> <001001ca18c7$37b22220$a7166660$@chollet@free.fr> <001501ca18cc$d59a61a0$80cf24e0$@metastack.com> <001201ca18e9$c4456810$4cd03830$@chollet@free.fr> <4A7ED53B.90607@frisch.fr> In-Reply-To: <4A7ED53B.90607@frisch.fr> Subject: RE: [Caml-list] Re: ocaml sefault in bytecode: unanswered questions Date: Sun, 9 Aug 2009 16:13:24 +0200 Message-ID: <000001ca18fb$8fdcf180$af96d480$@chollet@free.fr> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Mailer: Microsoft Office Outlook 12.0 Thread-Index: AcoY+QX+niGkKQdVT1i1HCJqi/X1nAAAjGXQ Content-Language: fr X-Spam: no; 0.00; ocaml:01 bytecode:01 frisch:01 frisch:01 ocaml:01 bytecode:01 pervasives:01 recursive:01 2009:98 2009:98 equality:01 equality:01 wrote:01 caml-list:01 caml-list:01 Cool, thanks for that, for some reason this wasn't obvious to me reading = the documentation. -----Original Message----- From: Alain Frisch [mailto:alain@frisch.fr]=20 Sent: dimanche 9 ao=FBt 2009 15:55 To: ivan chollet Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Re: ocaml sefault in bytecode: unanswered = questions On 8/9/2009 2:06 PM, ivan chollet wrote: > I would have thought physical equality implies structural equality, = but > it doesn=92t seem like it. > > Can you please explain to me what=92s wrong there? There are two modes for the generic comparison. The total mode=20 (Pervasives.compare) creates a total ordering between values (except for = functional values and custom blocks with no comparison function) and=20 uses physical equality as a shortcut to cut the recursive traversal of=20 sub-values. The non-total mode (used by the operators =3D < > <=3D >=3D) = has a=20 different behavior for NaN values ([nan <=3D x], [x <=3D nan], and [nan = =3D x]=20 all return false, including when x is nan) and does not use the physical = equality shortcut (so that [let x =3D (nan, nan) in x =3D x] returns = false). -- Alain