ocaml-ctypes icon indicating copy to clipboard operation
ocaml-ctypes copied to clipboard

Published 20 hours ago • verified publisher icon ocamllabs

Typed C representation

Open yallop opened this issue 11 years ago • 1 comments

Annotate the internal C representation with types, so that the OCaml type checker ensures that C code is constructed in a meaningful way. This is an internal-only change which leaves the interface unchanged and should have no effects on generated code.

The following regression needs to be fixed before this can be merged:

  • bindings involving view types (e.g. funptr) should use the associated custom type printer rather than the printer for the underlying type.

yallop avatar Sep 30 '14 13:09 yallop

Any updates?

DemiMarie avatar Aug 10 '16 01:08 DemiMarie