From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 6316CBCAE for ; Fri, 1 Jul 2005 15:57:52 +0200 (CEST) Received: from postfix3-1.free.fr (postfix3-1.free.fr [213.228.0.44]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j61Dvqk4025280 for ; Fri, 1 Jul 2005 15:57:52 +0200 Received: from imp3-q.free.fr (imp3-q.free.fr [212.27.42.3]) by postfix3-1.free.fr (Postfix) with ESMTP id E7B1117547E for ; Fri, 1 Jul 2005 15:57:51 +0200 (CEST) Received: by imp3-q.free.fr (Postfix, from userid 33) id 7D04442495; Fri, 1 Jul 2005 15:57:48 +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 15:57:48 +0200 Message-ID: <1120226268.42c54bdc62378@imp3-q.free.fr> Date: Fri, 01 Jul 2005 15:57:48 +0200 From: clement.capel@free.fr To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] toplevels / bytecode interpreter References: <1120220353.42c534c1b2b90@imp5-q.free.fr> In-Reply-To: <1120220353.42c534c1b2b90@imp5-q.free.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 concorde with ID 42C54BE0.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 toplevels:01 bytecode: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 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.2 required=5.0 tests=NO_REAL_NAME autolearn=disabled version=3.0.2 X-Spam-Level: > 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