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 LAA20612; Sat, 28 Feb 2004 11:45:55 +0100 (MET) 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 LAA14560 for ; Sat, 28 Feb 2004 11:45:52 +0100 (MET) Received: from smtp.web.de (smtp02.web.de [217.72.192.151]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i1SAjuIq028867 for ; Sat, 28 Feb 2004 11:45:57 +0100 Received: from [213.6.74.64] (helo=wiko) by smtp.web.de with smtp (WEB.DE 4.99 #605) id 1Ax1yg-0005p2-00 for caml-list@inria.fr; Sat, 28 Feb 2004 11:45:50 +0100 Message-ID: <00a801c3fde8$09c7e0c0$404a06d5@wiko> From: "Andreas Rossberg" To: References: <20040227225931.GA9161@roke.freak> <20040228094034.81565.qmail@web41905.mail.yahoo.com> <20040228095652.GA10435@roke.freak> <009401c3fde4$a4f58330$404a06d5@wiko> <20040228103435.GA15099@roke.freak> Subject: Re: [Caml-list] Semantics of physical equality Date: Sat, 28 Feb 2004 11:45:53 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1158 X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 X-Miltered: at nez-perce by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; rossberg:01 caml-list:01 michal:01 moskal:01 malekith:01 pld-linux:01 pervasives:01 32,:01 htmlman:01 semantics:01 ints:01 ints:01 ocaml:01 caml:01 equality:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Michal Moskal wrote: > > > But both r.a and r.b are ints, so it is always OK (== and = are the same > > > on ints). > > > > That is what the current implementation does, but it is not guaranteed. > > On integers and characters, physical equality is identical to structural > equality. [1] > > It depends what you mean by ,,guaranteed'' though. > > [1] http://caml.inria.fr/ocaml/htmlman/libref/Pervasives.html You are right, I stand corrected. Int is a special case. BTW, the manual speaks of "integers". Surely it only holds for plain type "int", not for other integer types, like big_int, int32, does it? - Andreas ------------------- 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