Hi there,
New blog post about fixing the mistakes in the living library. Please take a look if you’re interested in interfacing ocaml with external resources.
In particular, I think the library comes good with its guarantees now that
- if every function is properly dependent, and
- you only
unsafe_freevalues that are disjoint from their dependencies, then
you will obtain a sound program when using the Ctypes ffi, in terms of there being no use-after-free errors.
Please let me know if you disagree!
Matt