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