]> On Tue, Nov 11, 2003 at 08:46:56AM -0800, David Brown wrote: > 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. Well, what do you mean by "a single data type", then? Surely a record is a single data type, but ... type r = { mutable a: int; mutable r: r } let rec r1 = { a = 5; r = r2 } and r2 = { a = 7; r = r1 } Surely you wouldn't argue that this is an immutable data structure, either -- it contains nothing *but* mutable fields! And yet, r1.a <- 6 also "affects" r2, but r1 != r2. (Admittedly, though, the ambiguity may lie in the usage of the word "affects".) *shrug* Maybe it's a bit contrived, but i would err on the side of caution and say that the documentation should be made clearer. William ------------------- 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