Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Oo.id
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Lauri Alanko <la@i...>
Subject: Re: [Caml-list] Oo.id
On Fri, Oct 04, 2002 at 04:58:24PM +0900, Jacques Garrigue wrote:
> Using the address would be ok for equality, but not for compare, as
> the GC may move things around: the result of compare might change.

Why does there need to be an ordering for objects in the first place?
This seems about as sensible as ordering closures (ie. not very).

Alternatively, if the stability of addresses is important, couldn't
objects be allocated in a special heap where GC would be non-copying?


Lauri Alanko
la@iki.fi
-------------------
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