On Sat, May 10, 2008 at 9:52 AM, Richard Jones <[EMAIL PROTECTED]> wrote:
> On Sat, May 10, 2008 at 01:01:03AM +0200, Berke Durak wrote: > > But you are saying in the README that values in the ancient heap have > some > > limitations, namely no ad-hoc polymorphic primitives. > > You misunderstand this limitation, but anyway ... The paragraph from your README then needs some clarification. > (1) Ad-hoc polymorphic primitives (structural equality, marshalling > and hashing) do not work on ancient data structures, meaning that you > will need to provide your own comparison and hashing functions. For > more details see Xavier Leroy's response here: As you cannot mutate anything that is ancient (since it might be concurrently accessed), you cannot mark or modify them in-place for ad-hoc marshalling or deep copying. Is that correct? Comparison does not mark (and thus does not work on cyclic structures). Does it work on values in the ancient heap (I'm not talking of handles here)? So it seems that adding a generic copy-out-of-the-ancient heap function (which marks in a private area) would be worthwhile. Should not be too difficult. -- Berke
_______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
