Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Strange physical equality behavior
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: David Brown <caml-list@d...>
Subject: Re: [Caml-list] Strange physical equality behavior
On Tue, Nov 11, 2003 at 01:48:22AM -0500, Oleg Trott wrote:
> On Sunday 09 November 2003 08:33 pm, Jacques Garrigue wrote:
> >  On mutable structures, [e1 == e2] is true if and only if
> >    physical modification of [e1] also affects [e2].
> 
> By the way, either "mutable structures" or "physical modification" need to be 
> clarified, because if (int ref list) is "mutable" then the above is wrong:

If you take structure to mean a single data type, rather than a more
complicated data structure, then it is true.

Dave

-------------------
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