From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 71BB0BC54 for ; Tue, 26 May 2009 15:35:32 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqkAAB+NG0pCbwQZkGdsb2JhbACXbgEBAQEJCQwHEQS2MIQLBQ X-IronPort-AV: E=Sophos;i="4.41,251,1241388000"; d="scan'208";a="26805514" Received: from out1.smtp.messagingengine.com ([66.111.4.25]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 May 2009 15:35:32 +0200 Received: from compute1.internal (compute1.internal [10.202.2.41]) by out1.messagingengine.com (Postfix) with ESMTP id B13E034583B; Tue, 26 May 2009 09:35:31 -0400 (EDT) Received: from heartbeat2.messagingengine.com ([10.202.2.161]) by compute1.internal (MEProxy); Tue, 26 May 2009 09:35:31 -0400 X-Sasl-enc: SvIVLJ3hF0hZ+fD5lEaVs01jtz78Y517lgdadGamJroo 1243344931 Received: from [192.168.1.10] (ALyon-157-1-100-168.w90-41.abo.wanadoo.fr [90.41.203.168]) by mail.messagingengine.com (Postfix) with ESMTPSA id 09ED7540AB; Tue, 26 May 2009 09:35:30 -0400 (EDT) Message-ID: <4A1BEEFC.9010301@ens-lyon.org> Date: Tue, 26 May 2009 15:30:36 +0200 From: Martin Jambon User-Agent: Thunderbird 2.0.0.17 (X11/20081008) MIME-Version: 1.0 To: Guillaume Hennequin Cc: caml-list@inria.fr Subject: Re: [Caml-list] let x = ... in object ... References: <4A1BE36C.70200@ens-lyon.org> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ens-lyon:01 guillaume:01 endline:01 gc'ed:01 wrote:01 caml-list:01 jambon:01 jambon:01 defined:02 let:03 let:03 pointing:06 definition:07 mean:08 object:09 Guillaume Hennequin wrote: > > > > # class a = let () = print_endline "hello" in object end;; > hello > class a : object end > > > Maybe you mean the following: > > > ? I was just pointing out that "class a = let x = ... in object ... end" creates x once and for all when the class is defined, and x will therefore not be GC'ed because of the language definition, not because of its implementation. Martin -- http://mjambon.com/