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 KAA28854; Thu, 24 Oct 2002 10:37:41 +0200 (MET DST) 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 KAA06762 for ; Thu, 24 Oct 2002 10:37:40 +0200 (MET DST) Received: from comtv.ru (comtv.ru [217.10.32.4]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g9O8bd522463 for ; Thu, 24 Oct 2002 10:37:40 +0200 (MET DST) Received: from [10.0.66.9] ([10.0.66.9] verified) by comtv.ru (CommuniGate Pro SMTP 3.5.9) with ESMTP-TLS id 5071469 for caml-list@inria.fr; Thu, 24 Oct 2002 12:37:36 +0400 Date: Thu, 24 Oct 2002 12:37:58 +0400 (MSD) From: malc X-X-Sender: malc@home.oyster.ru To: caml-list@inria.fr Subject: [Caml-list] Floating point boxing again Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk let a n = let x = ref 1.0 in for i = 1 to n do x := !x +. 1.0; done; !x let b n = let x = ref 1.0 in for i = 1 to n do x := !x +. 1.0; done; !x +. 0.0 The code produced for a and b respectively differ greatly, even the inner loops. Can someone from Caml team clarify the issue? P.S. Native code obviously. -- mailto:malc@pulsesoft.com ------------------- 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