Interesting, thanks.

Cheers,
 David


On Sun, 2007-10-28 at 09:48 -0400, Christopher L Conway wrote:
> This is very similar to what you would get from SWIG
> (http://www.swig.org/, OCaml support is in SVN): it generates a
> binding where each C function has type c_obj -> c_obj, where c_obj is
> more or less your c_type. Basically, this just hoists the problem up
> one level of abstraction, so that instead of writing C code using
> mltypes.h, you write OCaml code that massages effectively untyped
> values coming out of the library.
> 
> Regards,
> Chris