Daniel Bünzli wrote: > > Le 31 oct. 08 à 15:57, Martin Jambon a écrit : > >> (fst x) would certainly cause funny effects if x were GC'ed at an >> arbitrary time after it has been added to the weak array. > > You are confusing reclaiming the weak pointer (the Some x) and > reclaiming what the weak pointer refers to (the x). It's the former the > OP was talking about.
I don't see what makes you define (Some x) as a weak pointer. Martin -- http://mjambon.com/ _______________________________________________ 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