From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA10418; Thu, 14 Jun 2001 09:34:36 +0200 (MET DST) 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 JAA10536 for ; Thu, 14 Jun 2001 09:34:35 +0200 (MET DST) Received: from kerne.inria.fr (kerne.inria.fr [128.93.8.140]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f5E7YRX27138; Thu, 14 Jun 2001 09:34:27 +0200 (MET DST) Received: (from lefessan@localhost) by kerne.inria.fr (8.11.3/8.11.3) id f5EDrv124533; Thu, 14 Jun 2001 09:53:57 -0400 X-Authentication-Warning: kerne.inria.fr: lefessan set sender to fabrice.le_fessant@inria.fr using -f From: Fabrice Le Fessant MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15144.49652.474806.712249@kerne.inria.fr> Date: Thu, 14 Jun 2001 09:53:56 -0400 (EDT) To: Jacques Garrigue Cc: wester@ilt.fhg.de, caml-list@inria.fr Subject: Re: [Caml-list] Natively compiled code and toplevel References: <200106131434.QAA25999@ilt.fhg.de> <20010614110645H.garrigue@kurims.kyoto-u.ac.jp> X-Mailer: VM 6.75 under Emacs 20.7.1 Reply-To: fabrice.le_fessant@inria.fr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk asmdynlink is included in the CDK (the version of ~lefessan/src is not supported anymore), and allows to link any Ocaml bytecode module OR EVALUATE ANY OCAML SOURCE from a native-code program. Of course, it also works for bytecode programs, using the standard interpreter. For native-code programs, bytecode interpretation is slower than when executed by the standard interpreter. However, available native-code functions are always used. - Fabrice ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr