'Compiler' module (was: embedding ocaml into a windows app: need gcc?)

[Dawid Toton <d0@wp.pl>]

> I would like an OCaml support library that can compile and execute
> similar to JaveScript engines, but we don't have that in any practical
> form.
> 

I also need this and I'm thinking about something like this:

module type Compiler =
sig
  val parse : Context.t -> string -> (Context.t * AST.t)
  val get_type : Context.t -> AST.t -> Type.t;
  val eval : Context.t -> AST.t -> Context.t * (Type.t * 
MarshalledValueOrSomething.t)
end

Is it really so hard to have it in OCaml? I'm envy of Python's Compiler 
module.

It could solve some of my problems, in particular for my 'parallel-like' 
evaluation ( 
http://www.nabble.com/'Nondeterministic'-evaluation-wrt-exceptions-td18653998.html 
). After some experimentation I know that I need type information during 
code transformation. I want to create a sort of interpreter.

That Compiler module would also enable me to have an editor with 
graphical representation of results intermixed with code (like 
Mathematica's notebook).

Where to look for suitable pieces of code? AFAIK camlp4 modules can't 
tell me type of anything. Should I start digging in OCaml compiler sources?

Dawid