On Tue, Aug 16, 2011 at 1:46 PM, <[email protected]> wrote: > -[ Tue, Aug 16, 2011 at 11:43:24AM +0300, Török Edwin ]---- >> 'list' should be reachable via caml_local_roots, so if it really gets an >> invalid value >> it sounds like a bug to me. > > list may not be garbage collected (since it is indeed registered as the > root), but it may be moved arround (ie promoted to major heap). > The address of list would be fixed in the local variable (the root) but > not the transiant copy on the stack. > Maybe that's the actual problem ?
Exactly. List is moved but its stack copy (wrp_ml_cons 2nd parameter) is not updated and holds an old address. - Dmitry Bely -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
