Jon Harrop wrote:
> How does OCaml's stack walker work with C code, for example? In particular, 
> how does it know what is a pointer into the heap from a C stack frame? Must 
> it be explicitly disabled?

The OCaml runtime does not scan the stack frames corresponding to C 
functions.

Jon, it is somewhat weird that you spend so much time writing about 
forking OCaml and do not take a few minutes to read the source code. The 
macros CAMLparam*, CAMLlocal* are not really that mysterious.


-- Alain