yallop / ocaml-ctypes

Library for binding to C libraries using pure OCaml
MIT License
363 stars 95 forks source link

Hide the managed component in pointer values #629

Closed yallop closed 4 years ago

yallop commented 4 years ago

The existential type representing the "managed" component in CPointer and Static_funptr can sometimes escape in generated code (e.g. for inverted stubs: see #628). Turning it into the concrete type Obj.t side-steps the problem.