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 VAA19724; Fri, 27 Feb 2004 21:31:28 +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 VAA19419 for ; Fri, 27 Feb 2004 21:31:27 +0100 (MET) Received: from moby.atcorp.com (moby.atcorp.com [204.72.172.2]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i1RKVUIq016473 for ; Fri, 27 Feb 2004 21:31:31 +0100 Received: from SAILFISH (conger.atcorp.com [204.72.172.102]) by moby.atcorp.com (8.11.6/8.11.2) with SMTP id i1RKWaZ04618 for ; Fri, 27 Feb 2004 14:32:36 -0600 Received: by localhost with Microsoft MAPI; Fri, 27 Feb 2004 14:29:51 -0600 Message-ID: <01C3FD3E.290EEEB0.kmillikin@atcorp.com> From: "Kevin S. Millikin" Reply-To: "kmillikin@atcorp.com" To: "'caml-list@inria.fr'" Subject: [Caml-list] Semantics of physical equality Date: Fri, 27 Feb 2004 14:29:50 -0600 Organization: ATC X-Mailer: Microsoft Internet E-mail/MAPI - 8.0.0.4211 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit 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; specialists:99 952:99 829:99 bool:01 bool:01 semantics:01 ocaml:01 equality:01 equality:01 int:01 int:01 corporation:96 type:07 type:07 manual:07 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I'm trying to figure out what I can rely on about physical equality. I've checked the OCaml manual but can't seem to find what I want to know. Presume # type t = V0 | V1 of int;; type t = V0 | V1 of int # V0 == V0;; - : bool = true V0's are the same. Is this guaranteed? # V1(0) == V1(0);; - : bool = false V1's are different. Is this guaranteed? ---- Kevin S. Millikin Architecture Technology Corporation Research Scientist Specialists in Computer Architecture (952)829-5864 x162 http://www.atcorp.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