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 UAA29854; Sun, 29 Feb 2004 20:48:51 +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 UAA30080 for ; Sun, 29 Feb 2004 20:48:49 +0100 (MET) Received: from main.gmane.org (main.gmane.org [80.91.224.249]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i1TJmtIq025998 for ; Sun, 29 Feb 2004 20:48:56 +0100 Received: from list by main.gmane.org with local (Exim 3.35 #1 (Debian)) id 1AxWvg-0001Aw-00 for ; Sun, 29 Feb 2004 20:48:48 +0100 Received: from maxtnt06-122.phlpa.fast.net ([209.92.241.122]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sun Feb 29 19:48:48 2004 Received: from jdev by maxtnt06-122.phlpa.fast.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sun Feb 29 19:48:48 2004 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Jed Davis Subject: [Caml-list] Re: Semantics of physical equality Date: Sat, 28 Feb 2004 01:28:52 -0500 Organization: Chaotic Message-ID: References: <01C3FD55.6370F320.kmillikin@atcorp.com> <20040227234838.GA12573@roke.freak> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Complaints-To: usenet@sea.gmane.org X-Gmane-NNTP-Posting-Host: maxtnt06-122.phlpa.fast.net X-PGP-Key-URI: http://panix.com/~jdev/pubkey.asc http://cs.oberlin.edu/~jldavis/pubkey.asc X-PGP-Key-ID: 0xF33659F9 X-PGP-Key-Finger-Address: jdev@panix.com jldavis@cs.oberlin.edu X-PGP-Key-FP: A098 903E 9B9A DEF4 168F AA09 BF07 807E F336 59F9 User-Agent: Gnus/5.1002 (Gnus v5.10.2) Emacs/21.2 (darwin) Cancel-Lock: sha1:55jb06OVNm8qEOEt1tKnXmLe2tA= 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; davis:99 michal:01 moskal:01 malekith:01 pld-linux:01 2004:99 0600,:01 davis:99 903:99 807:99 semantics:01 equality:01 mutable:01 int:01 writes:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Michal Moskal writes: > On Fri, Feb 27, 2004 at 05:16:06PM -0600, Kevin S. Millikin wrote: >> In the current problem, it can save me a great >> deal of effort involved in generating temporary identifiers that are >> guaranteed to be unique, and in wrapping library data structures that I >> am unwilling to change in order merely to tag them. > > type t = V of int ref > > let t1 = V (ref 0) > let t2 = V (ref 0) > > In this case you can assume t1 != t2. If it is not a sum type, but > record type, you can use record with at least one mutable field. Hm: type t = unit ref let t1 : t = ref () let t2 : t = ref () let mt : _ -> t = ref -- [Jed Davis] A098 903E 9B9A DEF4 168F AA09 BF07 807E F336 59F9 0xF33659F9 "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