The manual has a section on just this issue, although the manual can be a little confusing at times: http://caml.inria.fr/pub/docs/manual-ocaml/manual032.html#toc140

Sylvain Le Gall already mentioned the basics - registering the values with the garbage collector using CAMLparam (and then releasing them with CAMLreturn) prevents any problems.  Also local values should be declared using CAMLlocal and global values should be registered using caml_global_register_root.

On Tue, Apr 5, 2011 at 7:27 AM, Pedro Borges <pdhb.lists@gmail.com> wrote:
Hi, everyone,

If a compactification is triggered do the values get rewritten or do
they become invalid?


Best Regards,

Pedro Borges

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