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 NAA03821; Mon, 9 Aug 2004 13:09:13 +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 NAA06853 for ; Mon, 9 Aug 2004 13:09:12 +0200 (MET DST) Received: from salt.cs.brown.edu (salt.cs.brown.edu [128.148.32.122]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i79B9BRM027763 for ; Mon, 9 Aug 2004 13:09:11 +0200 Received: from localhost (localhost [127.0.0.1]) by salt.cs.brown.edu (Postfix) with ESMTP id D6AEAD8929 for ; Mon, 9 Aug 2004 07:09:10 -0400 (EDT) Received: from salt.cs.brown.edu ([127.0.0.1]) by localhost (salt [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 12696-01 for ; Mon, 9 Aug 2004 07:09:10 -0400 (EDT) Received: from null.cs.brown.edu (null.cs.brown.edu [128.148.38.190]) by salt.cs.brown.edu (Postfix) with ESMTP id 89F0AD878B for ; Mon, 9 Aug 2004 07:09:10 -0400 (EDT) Received: from twix.cs.brown.edu (twix [128.148.31.40]) by null.cs.brown.edu (Postfix) with ESMTP id 82A5944C003 for ; Mon, 9 Aug 2004 07:06:01 -0400 (EDT) Received: from localhost (localhost [127.0.0.1]) by twix.cs.brown.edu (Postfix) with ESMTP id F3AF157269 for ; Mon, 9 Aug 2004 07:06:00 -0400 (EDT) Received: from twix.cs.brown.edu ([127.0.0.1]) by localhost (twix [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 11799-10 for ; Mon, 9 Aug 2004 07:06:00 -0400 (EDT) Received: from spikeshomepc (meylan-1-82-225-49-106.fbx.proxad.net [82.225.49.106]) (using TLSv1 with cipher RC4-MD5 (128/128 bits)) (No client certificate requested) by twix.cs.brown.edu (Postfix) with ESMTP id 06BD557251 for ; Mon, 9 Aug 2004 07:05:59 -0400 (EDT) Reply-To: From: "John Hughes" To: "'caml'" Subject: RE: [Caml-list] XEmacs or GNU Emacs? Date: Mon, 9 Aug 2004 13:06:04 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Mailer: Microsoft Office Outlook, Build 11.0.5510 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1441 In-Reply-To: <411747F2.9000608@misys.com> Thread-Index: AcR9+SobDTW+lUZjQjS6NfgWSet4owABgLxA Message-Id: <20040809110600.06BD557251@twix.cs.brown.edu> X-Virus-Scanned: by amavisd-new-20030616-p7 (Debian) at cs.brown.edu X-Virus-Scanned: by amavisd-new-20030616-p7 (Debian) at cs.brown.edu X-Miltered: at concorde with ID 41175B57.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 -month:99 drscheme:01 winxp:99 3.07:01 cygwin:01 debugger:01 tuareg:01 ocamldebug:01 buffer:01 foo:01 cryptic:01 tuareg:01 2004:99 caml-list:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk As I've mentioned, we use ML (or variants) in teaching the second half of a 3-month introduction to computer science. The first half is in Scheme (using DrScheme, which has a nice builtin editor/evaluator, so the whole issue of choosing an environment gets simple).=20 This year we're going to use OCaml. That probably means teaching them Emacs, but since many of them will work on WinXP platforms at home (but use Linux while at school), I'm not thrilled about using XEmacs (at least not in the mode where it wants to fire up an X server on the windows box, etc.).=20 So the setup I'm thinking of looks like this: Ocaml 3.07: compiled from sources under Linux,=20 Cygwin port for XP, because we want to use the debugger GNU Emacs + tuareg for both platforms ocamldebug on both platforms Two questions:=20 * Does this sound reasonable to you experts?=20 * Does anyone else out there wish that ml mode in Emacs had a "kill the=20 current ML process and restart a fresh one, and then evaluate my buffer in that new, fresh, clean process?"=20 Our students, when they first learn about modules, get all screwed up by repeatedly evaluating a module description, and then finding that two objects that are apparently of=20 type Foo cannot be assigned, compared, etc. (Under MOSML and SML/NJ, this issue led to some of the most cryptic error messages I've ever encountered.) I hacked this up in ML-mode a few years ago, and my students loved it. If the rest of the world would actually benefit from it, I'll do it again in Tuareg mode and pass it back to the maintainers... ---John Hughes > -----Original Message----- > From: owner-caml-list@pauillac.inria.fr=20 > [mailto:owner-caml-list@pauillac.inria.fr] On Behalf Of Benjamin Geer > Sent: Monday, August 09, 2004 11:46 AM > To: caml > Subject: Re: [Caml-list] XEmacs or GNU Emacs? >=20 > J=E9r=F4me Marant wrote: > >>A slight advantage might be that the XEmacs package=20 > collection comes=20 > >>with the O'Caml mode. > >=20 > > Which is very outdated and unmaitained. >=20 > I've been very happy with tuareg mode: >=20 > http://www-rocq.inria.fr/~acohen/tuareg/ >=20 > Ben >=20 > ------------------- > To unsubscribe, mail caml-list-request@inria.fr Archives:=20 > http://caml.inria.fr Bug reports:=20 > http://caml.inria.fr/bin/caml-bugs FAQ:=20 > http://caml.inria.fr/FAQ/ Beginner's list:=20 > http://groups.yahoo.com/group/ocaml_beginners >=20 ------------------- 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