On Tue, Jan 5, 2010 at 12:28 PM, Jon Harrop <jon@ffconsultancy.com> wrote:
>> 2) Ability to invoke a build tool so that reported errors allow me to
>> automatically jump to the offending lines.
>
> Yes but I'd rather have an IDE constantly recompiling and automatically
> flagging errors such that I can jump directly to them using the GUI.

Yes, Emacs can do that. This is called the flymake-mode. I've used it
a few times with OCaml (it required a few hacks, but it might be
easier to use now).

>> 5) Ability to switch rapidly between an ml file and its corresponding mli.
>
> Interesting.

Shortcut in Emacs : C-c C-a (works with both caml-mode and tuareg-mode).

-- 
  Laurent