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 WAA04085; Mon, 8 Sep 2003 22:40:35 +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 WAA22923 for ; Mon, 8 Sep 2003 22:40:34 +0200 (MET DST) Received: from postfix4-2.free.fr (postfix4-2.free.fr [213.228.0.176]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h88KeXf14649; Mon, 8 Sep 2003 22:40:33 +0200 (MET DST) Received: from univ-savoie.fr (grenoble-1-62-147-72-110.dial.proxad.net [62.147.72.110]) by postfix4-2.free.fr (Postfix) with ESMTP id D90ECC383; Mon, 8 Sep 2003 22:40:31 +0200 (CEST) Message-ID: <3F5CE84F.4030609@univ-savoie.fr> Date: Mon, 08 Sep 2003 22:36:31 +0200 From: Christophe Raffalli User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.3.1) Gecko/20030428 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Damien Doligez Cc: caml-list@inria.fr Subject: [Caml-list] GC Question References: <25CD01B4-E1E2-11D7-8F1C-00039310CAE8@inria.fr> In-Reply-To: <25CD01B4-E1E2-11D7-8F1C-00039310CAE8@inria.fr> X-Enigmail-Version: 0.73.1.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enigA8C427F3AB17A8CA83D22174" Content-Transfer-Encoding: 8bit X-Loop: caml-list@inria.fr X-Spam: no; 0.00; raffalli:01 raffalli:01 univ-savoie:01 openpgp:01 2440:01 3156:01 savoie:01 chablais:01 73376:01 univ-savoie:01 lama:01 enigmail:01 mutt:01 christophe:01 christophe: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) --------------enigA8C427F3AB17A8CA83D22174 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit 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 ? If not how to write the code to ensure this behaviour of the GC ? -- 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 --------------------------------------------- --------------enigA8C427F3AB17A8CA83D22174 Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.2 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQE/XOhdSQDyWB/+xBwRAj9wAKCK/83iL0oDQgEYL3wmq+/g5miLkwCgkjwN CG6zRg1nc6Ph5ip6NCa2gSE= =5g5o -----END PGP SIGNATURE----- --------------enigA8C427F3AB17A8CA83D22174-- ------------------- 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