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 MAA03347; Tue, 9 Sep 2003 12:39:52 +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 MAA12703 for ; Tue, 9 Sep 2003 12:39:51 +0200 (MET DST) Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h89AdoT13224; Tue, 9 Sep 2003 12:39:50 +0200 (MET DST) Received: from univ-savoie.fr (d85.lama.univ-savoie.fr [193.48.123.85]) by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id h89AeakL020330 ; Tue, 9 Sep 2003 12:40:37 +0200 Message-ID: <3F5DAE33.8030501@univ-savoie.fr> Date: Tue, 09 Sep 2003 12:40:51 +0200 From: Christophe Raffalli User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.1) Gecko/20020826 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Pierre Weis CC: Damien.Doligez@inria.fr, caml-list@inria.fr Subject: Re: [Caml-list] GC Question References: <200309090932.LAA05613@pauillac.inria.fr> X-Enigmail-Version: 0.65.2.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enig2B02CF32B55BC5F2F8E231A1" X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang) X-Loop: caml-list@inria.fr X-Spam: no; 0.00; raffalli:01 raffalli:01 univ-savoie:01 caml-list:01 openpgp:01 2440:01 3156:01 pierre:01 weis:01 savoie:01 chablais:01 73376:01 univ-savoie:01 lama:01 enigmail:01 X-Attachments: type="application/pgp-signature" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enig2B02CF32B55BC5F2F8E231A1 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Pierre Weis wrote: >>in the following kind code : >> >>let l = ... a function building a long list ... in >>let l' = List.map fn l in (* or fold or anything similar *) >>... no more reference to l ... >> >>Once the beginning of l has been read to compute l' (assuming List.map >>starts from the beginning of l) is the GC able to collect the beginning >>of l ? And let l' = let l = ... a function building a long list ... in List.map fn l in should work then (it is simpler to read than composition) ? -- Christophe Raffalli Université de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tél: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI --------------------------------------------- IMPORTANT: this mail is signed using PGP/MIME At least Enigmail/Mozilla, mutt or evolution can check this signature --------------------------------------------- --------------enig2B02CF32B55BC5F2F8E231A1 Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.7 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQE/Xa4zSQDyWB/+xBwRAmGjAKCdTbrY4EeSjg8XwQ+F657xZtKgZQCfSo9S kMq+199C5LDAHLB7PkZp1Dg= =eXMS -----END PGP SIGNATURE----- --------------enig2B02CF32B55BC5F2F8E231A1-- ------------------- 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