From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA15094; Mon, 9 Aug 2004 16:36:02 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA13224 for ; Mon, 9 Aug 2004 16:36:01 +0200 (MET DST) Received: from mproxy.gmail.com (rproxy.gmail.com [64.233.170.194]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i79Ea0RM024555 for ; Mon, 9 Aug 2004 16:36:00 +0200 Received: by mproxy.gmail.com with SMTP id 75so100822rnl for ; Mon, 09 Aug 2004 07:35:59 -0700 (PDT) Received: by 10.38.24.64 with SMTP id 64mr967192rnx; Mon, 09 Aug 2004 07:35:59 -0700 (PDT) Message-ID: Date: Mon, 9 Aug 2004 10:35:59 -0400 From: John Prevost To: caml Subject: Re: [Caml-list] XEmacs or GNU Emacs? In-Reply-To: <20040809110600.06BD557251@twix.cs.brown.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit References: <20040809110600.06BD557251@twix.cs.brown.edu> X-Miltered: at concorde with ID 41178BD0.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; prevost:01 prevost:01 caml-list:01 2004:99 3.07:01 cygwin:01 debugger:01 tuareg:01 ocamldebug:01 buffer:01 caml-mode:01 c-c:01 c-t:01 buffer:01 drag:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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 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