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 OAA30058; Thu, 26 Apr 2001 14:47:26 +0200 (MET DST) 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 OAA30117 for ; Thu, 26 Apr 2001 14:47:25 +0200 (MET DST) Received: from mail.mimuw.edu.pl (pm106.warszawa.cvx.ppp.tpnet.pl [213.76.108.106]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f3QClM526582 for ; Thu, 26 Apr 2001 14:47:22 +0200 (MET DST) Received: (from news@localhost) by mail.mimuw.edu.pl (PLD/8.9.3) id OAA18973 for caml-list@inria.fr; Thu, 26 Apr 2001 14:46:42 +0200 X-Authentication-Warning: qrnik.zagroda: news set sender to qrczak@knm.org.pl (Marcin 'Qrczak' Kowalczyk) using -f From: qrczak@knm.org.pl (Marcin 'Qrczak' Kowalczyk) Subject: Re: [Caml-list] any way to "clear" the toplevel? Date: 26 Apr 2001 12:46:39 GMT Organization: Klub Nieszkodliwych =?iso-8859-2?Q?Manjak=F3w?= Message-ID: References: <200104252035.NAA17326@smtp4-cm.mail.eni.net> <4.3.2.7.2.20010425165253.00e05ba0@shell16.ba.best.com> <20010426100502B.garrigue@kurims.kyoto-u.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-2 Content-Transfer-Encoding: 8bit X-Trace: qrnik.zagroda 988289199 18971 192.168.0.1 (26 Apr 2001 12:46:39 GMT) X-Complaints-To: news@qrnik.zagroda NNTP-Posting-Date: 26 Apr 2001 12:46:39 GMT User-Agent: slrn/0.9.6.3 (Linux) To: caml-list@inria.fr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Thu, 26 Apr 2001 10:05:02 +0900, Jacques Garrigue pisze: > The real solution would be to analyze dependencies between modules, > and only flush things that depend on a modified module. Promises > to be rather hard. Glasgow Haskell Compiler 5.00 does this in its interactive toplevel. It maintains the dependency graph of loaded modules. Reloading checks time stamps and recompiles to in-memory bytecode or reloads object code of modules which changed or which depend on modules whose interface changed (or something like that). http://www.haskell.org/ghc/docs/latest/set/ghci-compiled.html http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/ghc/compiler/compMan/CompManager.lhs?rev=1.69&content-type=text/x-cvsweb-markup -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTĘPCZA QRCZAK ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr