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