Well the planned port of tuareg-mode ocaml to the revised
syntax is going to be a much more ambitious project
by using the elisp semantic package in a way that it could
abstract the syntax from the semantic (hence the name)
and so build a multi-syntax-friendly ocaml mode for Emacs.
So I'm busy learning bison/flex and cie ,o)