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 TAA25944; Sun, 9 Nov 2003 19:34:28 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA25764 for ; Sun, 9 Nov 2003 19:34:27 +0100 (MET) Received: from jalapeno.cc.columbia.edu (jalapeno.cc.columbia.edu [128.59.59.238]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hA9IYQ123836 for ; Sun, 9 Nov 2003 19:34:26 +0100 (MET) Received: from tw304h3.cpmc.columbia.edu (tw304h3.cpmc.columbia.edu [156.111.84.180]) (user=ot14 mech=LOGIN bits=0) by jalapeno.cc.columbia.edu (8.12.10/8.12.10) with ESMTP id hA9IYPBU026344 (version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NOT) for ; Sun, 9 Nov 2003 13:34:25 -0500 (EST) From: Oleg Trott To: caml-list@inria.fr Subject: [Caml-list] Strange physical equality behavior Date: Sun, 9 Nov 2003 13:34:13 -0500 User-Agent: KMail/1.5.4 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200311091334.13734.oleg_trott@columbia.edu> X-No-Spam-Score: Local X-Scanned-By: MIMEDefang 2.35 X-Loop: caml-list@inria.fr X-Spam: no; 0.00; oleg:01 oleg:01 3.07:01 val:01 bool:01 bool:01 caml:01 equality:01 float:02 float:02 behavior:03 let:04 objective:07 fun:08 strange:09 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Objective Caml version 3.07+2 # sin == sin;; - : bool = false # let f = sin;; val f : float -> float = # f == f;; - : bool = true I don't like the fact that (sin == sin) returns false. -- Oleg Trott ------------------- 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