Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] XEmacs or GNU Emacs?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-08-09 (14:36)
From: John Prevost <j.prevost@g...>
Subject: Re: [Caml-list] XEmacs or GNU Emacs?
On Mon, 9 Aug 2004 13:06:04 +0200, John Hughes <> wrote:
> Ocaml 3.07: compiled from sources under Linux,
>             Cygwin port for XP, because we want to use the debugger
> GNU Emacs + tuareg for both platforms
> ocamldebug on both platforms
> Two questions:
> * Does this sound reasonable to you experts?
> * Does anyone else out there wish that ml mode in Emacs had a "kill
> the current ML process and restart a fresh one, and then evaluate my
> buffer in that new, fresh, clean process?"

That sounds handy--but the handiest recent new feature for teaching
that I've seen is the stuff with -dtypes in the caml-mode that's
distributed with O'Caml 3.08.  You can hit C-c C-t to get the type of
the expression under point, or middle-click in the emacs buffer to
highlight the entire top-level expression in one color, and highlight
the smallest expression under the mouse in another color, while
displaying the type of that smaller expression in the mode-line. (In
other words, you can drag around with the middle button in a single
top-level expression, displaying the type of what you're hovering

This works even when a file has not compiled cleanly: the compiler
type annotation file includes all of the types it's figured out up
until the spot where it found a conflict.  And that can be a great
help when trying to figure out why a problem happened.


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: