AFAIK, OCaml's bytecode is typeless. How hard would it be to infer types from
the bytecode in order to create type-specific functions during JIT
compilation?
--
Dr Jon Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/?e