Jeremy Yallop

Thanks for the update, @andrewray. It's good to hear that this isn't a blocker for `ctypes_of_clang` There is some progress towards a fix in https://github.com/yallop/ocaml-ctypes/commit/1df83aee3bfc6f0e8b7618fc2d3ba5b7dc203a66, which generates correct C code...

We should aim to avoid warnings in generated code, so the unused variable / void return value warning needs to be fixed. To bring the function prototypes into scope in...

> Maybe funptr's runtime_lock:'s label should be changed to an assertive label to make it more clear, like hold_runtime_lock: or acquire_runtime_lock I've thought about doing this, but the behaviour of...

Could this be implemented using views that wrap [`htons`](http://pubs.opengroup.org/onlinepubs/009695399/functions/htons.html), [`ntohs`](http://pubs.opengroup.org/onlinepubs/009695399/functions/ntohs.html), etc.?

@Ilazki: > At this point I'm still not sure if there's a way to load C libraries into a toplevel directly for experimentation or not, but it's not a big...

I think that your definition of `No_foreign` is quite interesting: probably not what you intended to write, but indistinguishable from the "correct" solution (with `type 'a fn = unit`). That...

From what I can remember the `enum` definition is that way simply for symmetry with `Cstubs`. Besides that I don't think there are any advantages over using a string in...

> What if you have constants that were not in an enum? For instance, a group of macros does not appear to have a way to be mapped into variant...

I've enabled the CI on this PR, to make testing easier. (The macos failures are due to an unrelated opam issue, and can be ignored).

It would be good to have this merged. @fdopen, are you able to (re)review now that the known issues are resolved?