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=1.1 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 4AE46BC6C for ; Thu, 3 May 2007 10:44:03 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.172]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l438i2GY003923 for ; Thu, 3 May 2007 10:44:03 +0200 Received: by ug-out-1314.google.com with SMTP id k3so350861ugf for ; Thu, 03 May 2007 01:44:02 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; b=B/hR/OKj/ZN2T3PSzMAUtAKWa02YvvNYBzLIa0+GDDIv9sGALsCKaYIhXf3ACOH6krkeE6TYU2uYnSrYZmPSdPRuk7LXB/A0TtBi6mk+QPUTr3RyEzOE1/GmURX0SjEVVM73gpiBSM0uLyQJNKkDmn3ltLp5FM3ey4Wu1GU+k7E= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; b=KU8lhjcXX2lI/mrWPiiH/EXIOdKr6qMyhWxCoabWmkyt6AsyZZyanOm2oJPzIR36yJPXRiJgn20mwvhvJgdayRM/iIXJXR6CMaCo//TVGu5ZQ/i6B34jjEvvQJviEIxo1REzMPr4QJRTMQD/NzjYRYS+9zCqml8Cugxv6giaVcw= Received: by 10.82.151.14 with SMTP id y14mr3425935bud.1178181842446; Thu, 03 May 2007 01:44:02 -0700 (PDT) Received: from ?192.168.1.34? ( [83.52.237.136]) by mx.google.com with ESMTP id b30sm2402258ika.2007.05.03.01.43.49; Thu, 03 May 2007 01:43:56 -0700 (PDT) In-Reply-To: <1178155848.7026.27.camel@rosella.wigram> References: <20070428165058.GA31584@yquem.inria.fr> <1177821783.25394.37.camel@rosella.wigram> <20070501155705.GA29617@yquem.inria.fr> <1178039464.8967.10.camel@rosella.wigram> <20070501173409.GB7308@yquem.inria.fr> <1178062950.8967.39.camel@rosella.wigram> <20070502053815.GA726@yquem.inria.fr> <1178095304.13660.71.camel@rosella.wigram> <20070502123058.GC21560@yquem.inria.fr> <1178123357.6486.49.camel@rosella.wigram> <20070502183549.GB17473@yquem.inria.fr> <1178155848.7026.27.camel@rosella.wigram> Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: Cc: Francois.Pottier@inria.fr, caml-list@inria.fr Content-Transfer-Encoding: 7bit From: Joel Reymont Subject: Re: [Caml-list] menhir Date: Thu, 3 May 2007 09:43:43 +0100 To: skaller X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 4639A0D2.000 on discorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at discorde with ID 4639A0D2.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; functor:01 functor:01 2007,:98 wrote:01 caml-list:01 francois:02 construct:02 dynamic:03 module:03 solved:04 variable:06 head:91 actually:10 example:10 locally:12 On May 3, 2007, at 2:30 AM, skaller wrote: > Joel pointed out this isn't so, if you use a functor and > construct it locally, then a 'global' variable of the > functor is actually localised: I admit I didn't think of > local dynamic instantiation. Just to give credit where it's due, it wasn't my idea. I butted my head against this issue for a few days until Francois solved it for me by offering the local module example. Thanks, Joel -- http://wagerlabs.com/