From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rixed@happyleptic.org>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.6 required=5.0 tests=NO_REAL_NAME 
	autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by yquem.inria.fr (Postfix) with ESMTP id 98D53BBAF
	for <caml-list@yquem.inria.fr>; Tue, 25 Aug 2009 07:20:12 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqUBAJsRk0rUGyoFkWdsb2JhbACbBwEBAQEJCwoHEwO6cYQaBQ
X-IronPort-AV: E=Sophos;i="4.44,270,1249250400"; 
   d="scan'208";a="32859484"
Received: from smtp5-g21.free.fr ([212.27.42.5])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 25 Aug 2009 07:20:11 +0200
Received: from smtp5-g21.free.fr (localhost [127.0.0.1])
	by smtp5-g21.free.fr (Postfix) with ESMTP id DABA6D480C0
	for <caml-list@inria.fr>; Tue, 25 Aug 2009 07:20:06 +0200 (CEST)
Received: from apc.happyleptic.org (happyleptic.org [82.67.194.89])
	by smtp5-g21.free.fr (Postfix) with ESMTP id 02A5ED480CC
	for <caml-list@inria.fr>; Tue, 25 Aug 2009 07:20:04 +0200 (CEST)
Received: from yeeloong (unknown [82.229.213.209])
	by apc.happyleptic.org (Postfix) with ESMTP id 7CCA0334EF
	for <caml-list@inria.fr>; Tue, 25 Aug 2009 07:20:03 +0200 (CEST)
Received: from rixed by yeeloong with local (Exim 4.69)
	(envelope-from <rixed@happyleptic.org>)
	id 1MfoRr-0000Xa-2C
	for caml-list@inria.fr; Tue, 25 Aug 2009 07:19:59 +0200
Date: Tue, 25 Aug 2009 07:19:58 +0200
From: rixed@happyleptic.org
To: OCaml <caml-list@inria.fr>
Subject: Re: [Caml-list] lazy vs fun
Message-ID: <20090825051958.GA2066@happyleptic.org>
References: <94AD5806-B6F6-44F7-AA3C-1E63B6C1A722@metaweb.com> <4A930EF0.3050900@glondu.net> <4A9311E4.7060600@ens-lyon.org> <4A931E3B.4010501@ens-lyon.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <4A931E3B.4010501@ens-lyon.org>
User-Agent: Mutt/1.5.18 (2008-05-17)
X-Spam: no; 0.00; caml-list:01 oops:01 lazy:02 fun:08 fun:08 does:14 possible:17 calls:19 reference:19 that:23 makes:23 fact:26 the:27 the:27 because:29 

> Oops.
> The following makes it possible for f to be garbage-collected:

...?
Because the fact that the fun calls f does not count as a reference ?