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 VAA12381; Fri, 12 Dec 2003 21:05:51 +0100 (MET) 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 VAA12212 for ; Fri, 12 Dec 2003 21:05:50 +0100 (MET) Received: from smtp2.pp.htv.fi (smtp2.pp.htv.fi [213.243.153.14]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id hBCK5n127552 for ; Fri, 12 Dec 2003 21:05:49 +0100 (MET) Received: from posti.pp.htv.fi (posti.pp.htv.fi [212.90.64.50]) by smtp2.pp.htv.fi (Postfix) with ESMTP id 40D01297799; Fri, 12 Dec 2003 22:05:49 +0200 (EET) Received: from oro (aka.pp.htv.fi [213.243.183.115]) by posti.pp.htv.fi (8.11.1 (Revision 1.5+JAGae91741+JAGae92668) /8.11.1) with ESMTP id hBCK5mT10119; Fri, 12 Dec 2003 22:05:48 +0200 (EET) Received: from naked by oro with local (Exim 3.36 #1 (Debian)) id 1AUtXo-0008Be-00; Fri, 12 Dec 2003 22:05:48 +0200 To: Alain.Frisch@ens.fr Cc: Caml list Subject: Re: [Caml-list] Freeing dynamically loaded code References: From: Nuutti Kotivuori Date: Fri, 12 Dec 2003 22:05:47 +0200 In-Reply-To: (Alain Frisch's message of "Fri, 12 Dec 2003 20:36:39 +0100 (MET)") Message-ID: <874qw594ys.fsf@naked.iki.fi> User-Agent: Gnus/5.1002 (Gnus v5.10.2) XEmacs/21.4 (Portable Code, linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 dynamically:01 alain:01 frisch:01 unloading:01 bin:01 caml-bugs:01 caml:01 caml:01 garbage:01 garbage:01 workaround:01 445:97 external:03 manually:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Alain Frisch wrote: > On Fri, 12 Dec 2003, Nuutti Kotivuori wrote: > >> I would wish for Dynlinkable code to be garbage collected. > > I submitted a similar feature wish to the caml team a while ago > (in french: > http://caml.inria.fr/bin/caml-bugs/wish%20not%20granted?id=445) So it seems :-) My french knowledge is close to nil, but with the advances of babelfish and creative reading, I think I was able to catch most of that. > The request has been transferred to the "wish not granted" section > of the BTS with the comment "Too hard to implement. No can do.", so > I'm afraid there is no hope to see unloading/garbage collection of > dynlink'ed code in the near future. Well, like Xavier Leroy said at the end of the mail - *he* probably isn't doing it. That doesn't mean there wouldn't be someone else crazy enough to try :-) And atleast I'm not dropping the investigation just yet. But expect no commitment ofcourse, I might grow disinterested in the matter any moment and just leave it. Or I might just settle for a workaround of manually freeing the blocks after ensuring there are no external references. -- Naked ------------------- 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