[ocaml-ctypes] Lifetime of Ctypes allocation

Markus Müller llmarkvm at gmail.com
Wed Apr 20 00:16:24 BST 2016

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,

More information about the Ctypes mailing list