Archives of the Caml mailing list > Message from David Brown

Browse thread

[Caml-list] Strange physical equality behavior

Oleg Trott
- Jacques Garrigue
  - Oleg Trott
    - Jacques Garrigue
      - Michal Moskal
        
        Jacques Garrigue
  - Oleg Trott
    - David Brown
      - William Lovas
    - brogoff@s...

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