[MLton] Show type at point / OCaml -dtypes

[Vesa Karvonen]

Quoting "Wesley W. Terpstra" <wesley@terpstra.ca>:
[...]
> I dream of an editor which not only syntax highlights, but also has tab
> completion of identifier names,

Dynamic abbreviation completition (dabbrev-*) in [X]Emacs is quite nice
and works in any language. Of course, it only completes what it sees in
the buffers.

> and shows the type of an identifier on mouse-over.

This should be doable in [X]Emacs with -dtypes.

> I know this is not going to happen any time soon, but I can dream!

Why not? Let's make it happen.

-Vesa Karvonen