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 DAA23338; Thu, 26 Apr 2001 03:16:51 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id DAA23499 for ; Thu, 26 Apr 2001 03:16:50 +0200 (MET DST) Received: from smtp5-cm.mail.eni.net (smtp5-cm.mail.eni.net [216.133.226.138]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f3Q1GmP25083 for ; Thu, 26 Apr 2001 03:16:49 +0200 (MET DST) Received: from checkerlap.d6.com (node-d8e9cca2.powerinter.net [216.233.204.162]) by smtp5-cm.mail.eni.net (8.9.3/8.9.3) with ESMTP id SAA28697; Wed, 25 Apr 2001 18:16:38 -0700 Message-Id: <4.3.2.7.2.20010425181543.00e59330@shell16.ba.best.com> X-Sender: def6@shell16.ba.best.com X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Date: Wed, 25 Apr 2001 18:18:17 -0700 To: Jacques Garrigue From: Chris Hecker Subject: Re: [Caml-list] any way to "clear" the toplevel? Cc: caml-list@inria.fr In-Reply-To: <20010426100502B.garrigue@kurims.kyoto-u.ac.jp> References: <4.3.2.7.2.20010425165253.00e05ba0@shell16.ba.best.com> <200104252035.NAA17326@smtp4-cm.mail.eni.net> <4.3.2.7.2.20010425165253.00e05ba0@shell16.ba.best.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >Unfortunately, your solution is only partial: it is almost equivalent >to quitting and starting a new toplevel (which is my personal solution :-)) >You do not only erase things that have changed, but just everything. >But it has the advantage of being very simple. Right, but since I just have my makefile output a "top" file that looks like this now: #init;; #load "blah.cmo";; ... It just works for me. Restarting the toplevel inside emacs was a big pain, not to mention that doing it too many times on Win98 would crash the OS :). I just have to #use "top";; whenever I change a library. It's not too bad...the 80/20 rule applies here. :) I'm really getting into the toplevel for development. We'll see how that opinion evolves as my project gets bigger. Chris ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr