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 WAA20803; Wed, 25 Apr 2001 22:35:18 +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 WAA20960 for ; Wed, 25 Apr 2001 22:35:18 +0200 (MET DST) Received: from smtp4-cm.mail.eni.net (smtp4-cm.mail.eni.net [216.133.226.137]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f3PKZEX28430 for ; Wed, 25 Apr 2001 22:35:15 +0200 (MET DST) Received: from CHECKERATH (node-d8e9cca2.powerinter.net [216.233.204.162]) by smtp4-cm.mail.eni.net (8.9.3/8.9.3) with SMTP id NAA17326; Wed, 25 Apr 2001 13:35:09 -0700 Date: Wed, 25 Apr 2001 13:35:09 -0700 Message-Id: <200104252035.NAA17326@smtp4-cm.mail.eni.net> From: Chris Hecker To: caml-list@inria.fr CC: checker@d6.com Subject: [Caml-list] any way to "clear" the toplevel? Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I'm working on a multimodule project, and I use the toplevel a lot. I have my makefile output a file from the list of bytecode objects (the file's named "top") which looks like this: #load "math2d.cmo";; #load "pointers.cmo";; #load "ccd.cmo";; #load "armparse.cmo";; Then, when I load the toplevel, I type #use "top";; and voila, my project's in the toplevel. When I edit the main file and exec it in the toplevel, it uses the modules above just fine. The problem is, if I edit any of the files loaded, and then try to #use "top";; again, I get File armparse.cmo is not up-to-date with respect to interface Armparse And my new stuff doesn't load. Is there anything I can do about this? The optimal solution would be to be able to flush a specific interface and reload it (I tried #load "foo.cmi";; but it errors), but it'd be acceptable to simply reinit the toplevel as well. I currently have to kill the process and start it over. Am I missing something? Chris ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr