As of version 6, ActiveState Komodo includes OCaml syntax highlighting. It appears to be only minimal (e.g. no completion, no hovering over something to get its type, no code folding, no integration with the toolchain) but it’s a start…

Or too little too late, I’ve already switched to Emacs 🙂