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 BAA22565; Thu, 26 Apr 2001 01:54:44 +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 BAA22554 for ; Thu, 26 Apr 2001 01:54:41 +0200 (MET DST) Received: from smtp5-cm.mail.eni.net (smtp5-cm.mail.eni.net [216.133.226.138]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f3PNsdX01134 for ; Thu, 26 Apr 2001 01:54:39 +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 QAA23257 for ; Wed, 25 Apr 2001 16:54:37 -0700 Message-Id: <4.3.2.7.2.20010425165253.00e05ba0@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 16:56:15 -0700 To: caml-list@inria.fr From: Chris Hecker Subject: Re: [Caml-list] any way to "clear" the toplevel? In-Reply-To: <200104252035.NAA17326@smtp4-cm.mail.eni.net> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I fixed this in my own toplevel by adding an #init. Here's the code: (* To init the toplevel env *) let _ = Hashtbl.add directive_table "init" (Directive_none (fun () -> Env.reset_cache (); toplevel_env := Compile.initial_env())) Just add that somewhere in toplevel/topdirs.ml and #init;; will clear out the environment. It turns out the Env module's hash cache of the .cmi CRCs is what was preventing a reload of my file. Not sure if that's a bug or not. Chris ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr