Hi list,

I am toying with the idea of using the OCaml runtime for a dynamically
typed language targeting Lambda.  I was wondering what the OCaml runtime
(ie the GC) assumes about the language being compiled.

In particular I was wondering if it assumes that a value cannot go from
pointing to a block to being an int or vice-versa.

Any ideas?

Thanks!

Cheers,
Nicolas