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)