Dear Jeremy,

> The GC is free to collect values that are no longer reachable by the
> program, even if there are references to them still "in scope".  Since
> 'a' is not used after the call to Gc.full_major, the collector can
> ignore 'a' when determining whether values are reachable.

Thanks for the clarification. This explains it.

Best regards,
Markus
_______________________________________________
Ctypes mailing list
[email protected]
http://lists.ocaml.org/listinfo/ctypes

Reply via email to