English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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 <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

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 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