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 SAA14981; Sat, 5 Jun 2004 18:10:11 +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 SAA14906 for ; Sat, 5 Jun 2004 18:10:10 +0200 (MET DST) Received: from mail5.bluewin.ch (mail5.bluewin.ch [195.186.1.207]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i55GA9EV001256 for ; Sat, 5 Jun 2004 18:10:09 +0200 Received: from [10.0.1.2] (62.202.63.54) by mail5.bluewin.ch (Bluewin AG 7.0.028) id 40A46B21002C3B47; Sat, 5 Jun 2004 16:10:08 +0000 In-Reply-To: References: <40C1E87D.9030903@cs.unipr.it> Mime-Version: 1.0 (Apple Message framework v618) Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <02E20BDC-B70B-11D8-9169-000393DBC266@epfl.ch> Content-Transfer-Encoding: 7bit Cc: caml-list@inria.fr From: =?ISO-8859-1?Q?Daniel_B=FCnzli?= Subject: Re: [Caml-list] Garbage collecting _everything_ Date: Sat, 5 Jun 2004 18:11:32 +0200 To: Roberto Bagnara X-Mailer: Apple Mail (2.618) X-Miltered: at nez-perce with ID 40C1F061.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 garbage:01 garbage:01 module:03 suppose:03 let:04 let:04 epfl:05 daniel:06 daniel:06 definition:06 maybe:06 1.0,:08 fun:08 function:09 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Maybe I wasn't clear enough, sorry. > Suppose you have this definition in a module > > let x = (1.0, 2.0) and this one let f () = x You cannot garbage collect x since at any time function f may be called. For example at_exit (fun () -> Gc.full_major; ignore (f ())) ;; Daniel ------------------- 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