> I think garbage collection inside the callback is probably okay, if it 
> doesn't do other fancy things, such as dispatching signals or 
> influence thread scheduling. What does O'Caml runtime do during 
> garbage collection?

Garbage collection inside the callback is probably OK, if you can 
guarantee
that the callback does not occur during garbage collection, or any other
operation that assumes that memory doesn't move under its feet.

-- Damien

-------------------
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