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 1479BBCAE for ; Fri, 1 Jul 2005 14:36:02 +0200 (CEST) Received: from smtp10.wanadoo.fr (smtp10.wanadoo.fr [193.252.22.21]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j61Ca1qu014254 for ; Fri, 1 Jul 2005 14:36:01 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf1004.wanadoo.fr (SMTP Server) with ESMTP id 9349F240010F for ; Fri, 1 Jul 2005 14:36:01 +0200 (CEST) Received: from lexifi.com (APuteaux-151-1-27-53.w82-124.abo.wanadoo.fr [82.124.226.53]) by mwinf1004.wanadoo.fr (SMTP Server) with ESMTP id 36A7B240017B; Fri, 1 Jul 2005 14:36:01 +0200 (CEST) X-ME-UUID: 20050701123601224.36A7B240017B@mwinf1004.wanadoo.fr Message-ID: <42C538E0.3070508@lexifi.com> Date: Fri, 01 Jul 2005 14:36:48 +0200 From: Jean-Marc EBER User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.4) Gecko/20030624 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Jonathan Roewen Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] toplevels / bytecode interpreter References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Miltered: at concorde with ID 42C538B1.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; lexifi:01 caml-list:01 toplevels:01 bytecode:01 toplevel:01 toplevel:01 ocaml:01 definitively:01 ocaml:01 bytecode:01 libc:01 pointers:01 caml-list:01 beginner's:01 beginners:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.2 X-Spam-Level: Nive work has been done by Clément Capel on this topic: http://www.pps.jussieu.fr/~capel/eng/toplevel/toplevel.html Many hacks that were necessary at this time are no more needed due to cleanup work and necessary extensions done by Xavier before the release of ocaml 3.08, I think. But definitively, its possible, yes. Jean-Marc Eber Jonathan Roewen wrote: > 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. > > I'm thinking of changing DST so that it runs a bytecode interpreter on > the bare metal instead of native code. Although, I'm sure I'd need a > lot more libc underneath to get it working compared to native code ;-) > > I was also thinking the toplevel might be a good place to start > (though, don't exactly need the shell-like interface...). > > Some pointers on general directions to take would be great. > > Kindest Regards, > > Jonathan Roewen > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > >