You are probably aware but there was a port of ocaml to haiku before. It even has somewhat working haiku bindings. Perhaps it is outdated or not fully working, though.
It will be great to have compcert available. A truly impressive piece of engineering.