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=2.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 6EF1EBC0B for ; Tue, 30 Jan 2007 09:46:02 +0100 (CET) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.174]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l0U8k2PA032307 for ; Tue, 30 Jan 2007 09:46:02 +0100 Received: by ug-out-1314.google.com with SMTP id q2so1621493uge for ; Tue, 30 Jan 2007 00:46:01 -0800 (PST) DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=OoaTXiFR0H45KvR2m9EU7LSO9wuCfflBo7nYIgaN0d/oSysWp8oR5l/2kR+L/fW1kDyDivKC+dk63VsyGJJp5+ZwEC0ZLzPj7ZM7zBYfc7lQWzjKzyeAH89y2nMmJ1qhvql5+bs/eIaNiL+XYBjyX6XLJX4wGjHOeRqAhBjPwaI= Received: by 10.78.170.17 with SMTP id s17mr3183103hue.1170146759332; Tue, 30 Jan 2007 00:45:59 -0800 (PST) Received: by 10.78.90.5 with HTTP; Tue, 30 Jan 2007 00:45:59 -0800 (PST) Message-ID: <3d13dcfc0701300045g1d7c6abft63c62eb1ed1dfb12@mail.gmail.com> Date: Tue, 30 Jan 2007 09:45:59 +0100 From: "David MENTRE" Sender: david.mentre@gmail.com To: "Gerd Stolpmann" Subject: Re: [Caml-list] Equality of functional values Cc: "Simon Frost" , "Caml List" In-Reply-To: <1170107988.6952.13.camel@localhost.localdomain> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <1170104645.4564.304.camel@penguin.local> <1170107988.6952.13.camel@localhost.localdomain> X-Google-Sender-Auth: 6a99159607e3de61 X-Miltered: at discorde with ID 45BF05CA.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; gerd:01 gerd:01 stolpmann:01 ocam:01 3.08:01 ocaml-:01 equality:01 equality:01 polymorphic:01 polymorphic:01 distrib:01 caml-list:01 slight:01 caml:02 caml:02 Hello Gerd, 2007/1/29, Gerd Stolpmann : > As far as I remember there was a slight change for the equality around > 3.07 or 3.08. I think that was in OCam 3.08: http://caml.inria.fr/pub/distrib/ocaml-3.09/notes/Changes """ Objective Caml 3.08.0: ---------------------- (Changes that can break existing programs are marked with a "*" ) [...] Standard library: * Revised handling of NaN floats in polymorphic comparisons. The polymorphic boolean-valued comparisons (=, <, >, etc) now treat NaN as uncomparable, as specified by the IEEE standard. The 3-valued comparison (compare) treats NaN as equal to itself and smaller than all other floats. As a consequence, x == y no longer implies x = y but still implies compare x y = 0. """ Best wishes, d.