CDK (http://pauillac.inria.fr/cdk/) contains Asmdynlink, which is an
ocaml bytecode-interpreter solely written by ocaml.  *I think* that a
bytecode block is implemented as int array. But the current
implementation seems to register all modules to a global table, so
they would not be reclaimed.  Moreover, Asmdynlink looks like not
maintained now.  But you could start from here.  I also remember that
SCaml has something similar, but I do not know the detail.

From: Thomas Fischbacher <Thomas.Fischbacher@Physik.Uni-Muenchen.DE>
Subject: Re: [Caml-list] Lamda expressions and a caml interpreter
Date: Fri, 12 Mar 2004 17:35:18 +0100 (CET)

> On Fri, 12 Mar 2004, Alex Baretta wrote:
> 
> > I believe one possibile solution would be to compile the generated ocaml 
> > code halfway only,
> 
> Maybe you want to google for MetaML.

There is MetaOcaml, too. (http://www.cs.rice.edu/~taha/MetaOCaml/)

--
Yamagata Yoriyuki

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners