ocaml-mode

major mode for editing Objective Caml in Emacs
Objective (OCaml) is an implementation of the ML language, based on
the Caml Light dialect extended with a complete class-based object system
and a powerful module system in the style of Standard ML.
.
This package provides support for editing both Objective Caml and
Caml Light programs with Emacs and XEmacs.
.
Caml-mode supports:
- indentation
- compilation and error retrieving
- interaction with the toplevel
- font-lock
- imenu