Contrib: dynlink for native code executables to load .cmo files

Contrib: dynlink for native code executables to load .cmo files

[Fabrice Le Fessant]

  I have written a small interpretor of Ocaml-2.00 bytecode in Ocaml.
The main interest of this program is that it allows native code
programs to load and execute .cmo files. This library uses the same
interface as the Dynlink library of the Ocaml distribution.
Dynamically linked modules are able to use the functions defined both
in native code modules and previously linked bytecode modules, and
even C primitives if they have been correctly declared to the dynamic
linker. If bytecode functions are stored in some native code data
structures, the native code can then also use them as if they were
native code functions.

  This is still a Beta version (some bytecodes have not been
implemented (GETMETHOD, and float arrays)). Pure bytecode computations
are about ten times slower than when they are executed by ocamlrun. 

  http://pauillac.inria.fr/src


Comments and bugs: 
=================
Fabrice Le Fessant (Email : Fabrice.Le_fessant@inria.fr )
PARA project
INRIA Rocquencourt
FRANCE