Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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 <jfh@cs.brown.edu> 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
over.)

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.

John.

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners