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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 6DE77BC6C for ; Wed, 2 May 2007 09:35:21 +0200 (CEST) Received: from mu-out-0910.google.com (mu-out-0910.google.com [209.85.134.185]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l427ZK2n005499 for ; Wed, 2 May 2007 09:35:21 +0200 Received: by mu-out-0910.google.com with SMTP id w9so45227mue for ; Wed, 02 May 2007 00:35:20 -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=p0ikFyKoDpi4x70FvJXH65Idps+aKuEaBH6GfSLcs2jTvAN7p1NluiwgF5iscpYA5KhsjX59zgMa8tZ6NgwhrSChpmEnxSirdS0y6PT6u4cEdeI6653qwKGKlSff7Nq6l+FrHgWMbFgbYsbnXlU6hDhbjD5PzeAgBZSoK7iGY1Y= 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=DDnz4kUT+QfBRnYhrH0FSGHbSTcvO5vCOOX1mpkqdH8dUJ2ycYKxGT0l5o01vfuWSu2ZwWpBAOT6vRWXH5GD9ET2qd2NljCbEIFMuTRNUDFyKjS394WpHRpl2E4FyCOvLB+jZvvRUBvW3Hh/po357zLnVCdVPApfU+NbkPPZA1E= Received: by 10.82.189.6 with SMTP id m6mr796686buf.1178091320733; Wed, 02 May 2007 00:35:20 -0700 (PDT) Received: from ?192.168.1.34? ( [83.52.237.136]) by mx.google.com with ESMTP id y37sm1650635iky.2007.05.02.00.35.17; Wed, 02 May 2007 00:35:19 -0700 (PDT) In-Reply-To: <20070502070345.GA5242@yquem.inria.fr> References: <1EE80473-541D-478D-97F8-06A1B5F65F79@gmail.com> <20070502054411.GB726@yquem.inria.fr> <8C011A98-CE76-4A83-B24C-BA37B66DF15D@gmail.com> <20070502070345.GA5242@yquem.inria.fr> Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <6DC43C72-EC0C-4B1E-BF73-040EE151016B@gmail.com> Cc: menhir-list@yquem.inria.fr, Caml List Content-Transfer-Encoding: 7bit From: Joel Reymont Subject: Re: [Menhir-list] There's an elephant in the room: Solution to sharing a symbol table Date: Wed, 2 May 2007 08:35:16 +0100 To: Francois.Pottier@inria.fr X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 46383F38.000 on concorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at concorde with ID 46383F38.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; parser:01 sig:01 val:01 parser:01 lexbuf:01 lexing:01 struct:01 lexbuf:01 elephant:98 2007,:98 wrote:01 token:01 pottier:01 defined:02 francois:02 I'm hurt! It cannot be this easy. Thank you Francois! On May 2, 2007, at 8:03 AM, Francois Pottier wrote: > Well, if the parser is parameterized over "T : sig val tab: ... end", > then you could write something like > > (* assuming "tab" is defined here *) > > let parser str = > let lexbuf = Lexing.from_string str in > let module P = EasyParser.Make (struct let tab = tab end) in > P.program (token tab) lexbuf -- http://wagerlabs.com/