From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA16679; Fri, 17 Oct 2003 17:54:27 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA20282 for ; Fri, 17 Oct 2003 17:54:26 +0200 (MET DST) Received: from main.gmane.org (main.gmane.org [80.91.224.249]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h9HFsP128558 for ; Fri, 17 Oct 2003 17:54:25 +0200 (MET DST) Received: from list by main.gmane.org with local (Exim 3.35 #1 (Debian)) id 1AAWvp-0001JZ-00 for ; Fri, 17 Oct 2003 17:54:25 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr Received: from sea.gmane.org ([80.91.224.252]) by main.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 1AAWvo-0001JR-00 for ; Fri, 17 Oct 2003 17:54:24 +0200 Received: from news by sea.gmane.org with local (Exim 3.35 #1 (Debian)) id 1AAWvo-0004Li-00 for ; Fri, 17 Oct 2003 17:54:24 +0200 From: Jed Davis Subject: [Caml-list] Re: Weird behavior with nan's and min/max Date: Thu, 16 Oct 2003 19:55:25 -0400 Organization: Chaotic Message-ID: References: <51792.141.155.88.179.1066142234.squirrel@minsky-primus.homeip.net> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Complaints-To: usenet@sea.gmane.org X-PGP-Key: http://panix.com/~jdev/pubkey.asc http://cs.oberlin.edu/~jldavis/pubkey.asc User-Agent: Gnus/5.1002 (Gnus v5.10.2) Emacs/21.2 (darwin) Cancel-Lock: sha1:ez719ib7/u302Dpa2jjig3aQDok= X-Loop: caml-list@inria.fr X-Spam: no; 0.00; davis:99 yaron:01 minsky:01 yminsky:01 cornell:01 val:01 davis:99 903:99 807:99 bool:01 bool:01 equality:01 writes:01 polymorphic:01 336:97 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk "Yaron Minsky" writes: > since it turns out that specialized float version of equality is > different from the polymorphic version. Here's an especially fun example: # nan = nan;; - : bool = false # let (=) = (=);; val ( = ) : 'a -> 'a -> bool = # nan = nan;; - : bool = true -- Jed Davis Selling of self: http://panix.com/~jdev/rs/ PGP<-finger A098:903E:9B9A:DEF4:168F:AA09:BF07:807E:F336:59F9 \ "But life wasn't yes-no, on-off. Life was shades of gray, and rainbows /\ not in the order of the spectrum." -- L. E. Modesitt, Jr., _Adiamante_ ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners