From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA12007 for caml-redistribution; Wed, 4 Nov 1998 09:15:04 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA05232 for ; Tue, 3 Nov 1998 19:08:01 +0100 (MET) Received: from tif.inria.fr (tif.inria.fr [128.93.11.73]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id TAA19415 for ; Tue, 3 Nov 1998 19:08:00 +0100 (MET) Received: (from lefessan@localhost) by tif.inria.fr (8.8.8/8.8.8) id TAA02652; Tue, 3 Nov 1998 19:08:00 +0100 (MET) From: Fabrice Le Fessant Message-ID: <13887.18048.134330.872068@tif.inria.fr> Date: Tue, 3 Nov 1998 19:08:00 +0100 (MET) To: caml-list@inria.fr Subject: Correction (dynlink for native code executables) X-Mailer: VM 6.62 under Emacs 19.34.3 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=iso-8859-1 Sender: weis Sorry, I did a mistake in my previous mail. The correct URL for the native code interpretor is: http://pauillac.inria.fr/~lefessan/src - 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. > > http://pauillac.inria.fr/src > > > Comments and bugs: > ================= > Fabrice Le Fessant (Email : Fabrice.Le_fessant@inria.fr ) > PARA project > INRIA Rocquencourt > FRANCE