What would really be interesting is an emacs mode that use camlp4 for
parsing and indentation of OCaml code, instead of hand-written regexes. It
is much more complicated, but would scale to arbitrary camlp4 extensions.