Prepare ctypes 0.9.2

[yallop]

No description provided.

[dbuenzli]

Would you mind having a look at opkg ocamldoc ctypes to see if the errors are fixable (they may not be) ?

[dbuenzli]

> opkg ocamldoc ctypes 
File "/Users/dbuenzli/.opam/4.03.0/lib/ctypes/cstubs_internals.mli", line 15, characters 13-29:
Error: Unbound module Ctypes_ptr
1 error(s) encountered
File "/Users/dbuenzli/.opam/4.03.0/lib/ctypes/ctypes_static.mli", line 39, characters 22-47:
Error: Unbound module Ctypes_bigarray
1 error(s) encountered
File "/Users/dbuenzli/.opam/4.03.0/lib/ctypes/dl.mli", line 44, characters 48-64:
Error: Unbound module Ctypes_ptr

[yallop]

I'm not sure that the errors are fixable, unfortunately: the problems are with references to internal modules for which the cmi/cmt/cmti files are deliberately not installed.

[dbuenzli]

Ok but are these interfaces supposed to be used by end-users ? If not you could avoid installing them. FWIW here's the current rendering you get with ctypes.

[dbuenzli]

In general opkg will consider whatever cmti or mli file installed as a wish from the package to be included in the API documentation.

[yallop]

The difficulty arises with modules whose types need to be exposed so that generated code can be type-checked but that are not intended to be used directly by end users. It sounds like the best thing is to install only cmi (not cmti) files for those modules. #445 makes that change.

[dbuenzli]

Note that eventually I plan to add OPAMv2 directives to be specified in your package file to guide a bit what opkg does e.g. we could have an x-opkg-doc-exclude: <list of cmti/mli> but if the use cases are low I prefer not to.

[dbuenzli]

Just one question about about the changes you made to Dl. Do the changes make sense from an API point of view or did opkg force something on you you didn't want to do ?

[yallop]

The changes make sense from an API point of view. It seems unreasonable to expose functions in the public interface if those function have types whose names aren't also exposed. So I changed the type of Dl.dlsym to only use public types.

[dbuenzli]

Ok thanks.