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=none 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 26460BBAF for ; Fri, 25 Jul 2008 12:35:12 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqcAAKxJiUjUNQVco2dsb2JhbACSVwEBAQEBAQcFCAcRnjs X-IronPort-AV: E=Sophos;i="4.31,252,1215381600"; d="scan'208";a="15447086" Received: from postbode02.versateladsl.be ([212.53.5.92]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 25 Jul 2008 12:35:03 +0200 Received: (qmail 8846 invoked by uid 0); 25 Jul 2008 10:34:58 -0000 Received: from unknown (HELO poincare.swapping.umh.ac.be) ([83.182.205.171]) (envelope-sender ) by smtp.versateladsl.be (qmail-ldap-1.03) with SMTP for < >; 25 Jul 2008 10:34:58 -0000 Received: from [127.0.0.1] (helo=localhost ident=trch) by poincare.swapping.umh.ac.be with esmtp (Exim 4.69) (envelope-from ) id 1KMKdS-00016t-An; Fri, 25 Jul 2008 12:34:54 +0200 Date: Fri, 25 Jul 2008 12:34:54 +0200 (CEST) Message-Id: <20080725.123454.62538826676999671.Christophe.Troestler+ocaml@umh.ac.be> To: peng.zang@gmail.com Cc: caml-list@yquem.inria.fr, rajb@rice.edu Subject: Re: [Caml-list] equality operators in OCaml From: Christophe TROESTLER In-Reply-To: <200807242140.40245.peng.zang@gmail.com> References: <4888D7B7.8030703@rice.edu> <732669E74A7B4E49A8F225F86C335C5E@frodo> <200807242140.40245.peng.zang@gmail.com> X-Face: #2fb%mPx>rRL@4ff~TVgZ"<[:,oL"`TUEGK/[8/qb58~C>jR(x4A+v/n)7BgpEtIph_neoLKJBq0JBY9:}8v|j Organization: University of Mons-Hainaut X-Mailer: Mew version 6.0.51 on Emacs 22.2 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=iso-8859-15 Content-Transfer-Encoding: 8bit X-Spam: no; 0.00; ocaml:01 christophe:01 troestler:01 christophe:01 troestler:01 ocaml:01 structurally:01 structurally:01 redefined:01 citeseer:01 peng:98 psu:98 equality:01 wrote:01 wrote:01 On Thu, 24 Jul 2008 21:40:36 -0400, Peng Zang wrote: > > On Thursday 24 July 2008 06:32:36 pm Jon Harrop wrote: > > There are some complications here. Firstly, NaN has multiple > > representations that may or may not be physically equal but is always > > structurally unequal to itself. > > Yeah, that always seemed broken to me. If two things are physically equal > (they occupy the same memory space) it doesn't make sense for them to be > structurally unequal (contain different content). Personally, one of the > first things I did is redefined (=) to fix this. Humm... http://citeseer.ist.psu.edu/goldberg91what.html is certainly a good read... My 0.02¤, C.