From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id D36B0BCAF for ; Fri, 1 Jul 2005 16:49:19 +0200 (CEST) Received: from postfix3-2.free.fr (postfix3-2.free.fr [213.228.0.169]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j61EnJjT010856 for ; Fri, 1 Jul 2005 16:49:19 +0200 Received: from imp3-q.free.fr (imp3-q.free.fr [212.27.42.3]) by postfix3-2.free.fr (Postfix) with ESMTP id 503D7C176 for ; Fri, 1 Jul 2005 16:49:19 +0200 (CEST) Received: by imp3-q.free.fr (Postfix, from userid 33) id E81B64313A; Fri, 1 Jul 2005 16:48:03 +0200 (MEST) Received: from mailhost.trusted-logic.fr (mailhost.trusted-logic.fr [194.250.150.5]) by imp3-q.free.fr (IMP) with HTTP for ; Fri, 01 Jul 2005 16:48:03 +0200 Message-ID: <1120229283.42c557a3c59bc@imp3-q.free.fr> Date: Fri, 01 Jul 2005 16:48:03 +0200 From: clement.capel@free.fr To: caml-list@yquem.inria.fr Subject: caml-list@yquem.inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit User-Agent: Internet Messaging Program (IMP) 3.2.5 X-Originating-IP: 194.250.150.5 X-Miltered: at nez-perce with ID 42C557EF.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 bytecode:01 ocaml:01 caml-list:01 toplevel:01 toplevel:01 capel:98 capel:98 pps:01 jussieu:01 simpler:01 caml:02 top-level:02 seems:03 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=1.6 required=5.0 tests=ADDRESS_IN_SUBJECT, NO_REAL_NAME autolearn=disabled version=3.0.2 X-Spam-Level: * Note: sorry, for this third post (my mail client seems to have some problems :-) > Hi, > > Can the OCaml bytecode interpreter be embedded in C programs? For > example, a C program that mimics the top-level to a simpler degree. yes, you can. I've developed that embedded interpreter you look for :-) At current time, It only works on ocaml 3.06, but the modifications to perform are quite simple (i think) to make it works with the 3.08. some links: http://caml.inria.fr/pub/ml-archives/caml-list/2004/04/f3e4b58960169844f52a582c850028e9.en.html http://www.pps.jussieu.fr/~capel/eng/toplevel/toplevel.html regards, Clement