[Caml-list] toplevels / bytecode interpreter

[Caml-list] toplevels / bytecode interpreter

[Jonathan Roewen]

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

Re: [Caml-list] toplevels / bytecode interpreter

[Jean-Marc EBER]

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
> 
> 

Re: [Caml-list] toplevels / bytecode interpreter

[clement.capel]

> 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