Correction (dynlink for native code executables)

From: Fabrice Le Fessant (
Date: Tue Nov 03 1998 - 19:08:00 MET

From: Fabrice Le Fessant <>
Date: Tue, 3 Nov 1998 19:08:00 +0100 (MET)
Subject: Correction (dynlink for native code executables)

Sorry, I did a mistake in my previous mail. The correct URL for the
native code interpretor is:

- Fabrice

Previous message was:
> 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.
> Comments and bugs:
> =================
> Fabrice Le Fessant (Email : )
> PARA project
> INRIA Rocquencourt

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:16 MET