On Thu, Mar 5, 2009 at 12:44 PM, Jon Harrop <jon@ffconsultancy.com> wrote:
> Is this [the lambda IL] format documented anywhere?

The ocamljs backend compiles Javascript from the lambda intermediate
language. I haven't found documentation of it, but most of it is
pretty easy to understand (a few things I've had to track down by
seeing what they compile to in bytecode). You might find the
Javascript translation a useful guide, but of course don't take it as
the final word.

You are right though that it makes some assumptions about the runtime
representation and has already erased types. It is (obviously) good
enough to be a shared IL for the bytecode and opt backends; it is
mostly good enough for ocamljs (there are some places where I wish I
knew more about the type of things); I can't say what your needs are
with LLVM.

Still it is probably a better starting point than trying to
reimplement the OCaml front-end.

Jake