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.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id BD44CBC6C for ; Tue, 1 May 2007 19:57:01 +0200 (CEST) Received: from mu-out-0910.google.com (mu-out-0910.google.com [209.85.134.188]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l41Hv1fp001627 for ; Tue, 1 May 2007 19:57:01 +0200 Received: by mu-out-0910.google.com with SMTP id w9so2046990mue for ; Tue, 01 May 2007 10:57:01 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; b=gQgCjZNR9Mr1kaeF00jPLMaE6QVuk5HKKXsLAKU2LL6haZjo8rf4vp6Q/3HHLG8RFO7qWQZ54TZj2a0Ydu3W9fCIbQ/4gLgQlr8PbB9mGcJSCRbNzRDQodM/lIXeCvyOe7KAqVl+DSPGhNF++p+YxVtmQ4r211qQUR18aiSJuZw= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; b=meo9Fc3SlJQjGb4WiM/aDbqxf3UyXcE1SXko611mWUDITxXB6PM3pCu3GDeaAHLsRNWL/7jUaOyvmS0qp9GlL5wEzlZUvE51GCfatgvmlMAMEe9wTgfrJCbW0CTQtp0E77WiZuVVB7clhk3Ku4dMbc3a3ubYXTWW7f9X8ppPD6g= Received: by 10.82.138.6 with SMTP id l6mr14280349bud.1178042220490; Tue, 01 May 2007 10:57:00 -0700 (PDT) Received: from ?192.168.1.34? ( [83.52.237.136]) by mx.google.com with ESMTP id y37sm5894022iky.2007.05.01.10.56.59; Tue, 01 May 2007 10:56:59 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <4976BD71-831B-47D0-A5FD-6E449EFBBFEE@gmail.com> Cc: menhir-list@yquem.inria.fr Content-Transfer-Encoding: 7bit From: Joel Reymont Subject: Sharing a symbol table between a lexer and a Menhir parser Date: Tue, 1 May 2007 18:56:57 +0100 To: Caml List X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 46377F6D.000 on concorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at concorde with ID 46377F6D.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; lexer:01 parser:01 parser:01 symtab:01 lexbuf:01 lexing:01 lexer:01 lexbuf:01 functor:01 token:01 token:01 parse:02 string:02 let:03 let:03 Would someone kindly show me an example of how to do this? Assuming that my parser function looks like this let parse str = Symtab.reset (); let lexbuf = Lexing.from_string str in Easy_parser.program Easy_lexer.token lexbuf I would like to give Easy_lexer.token the same symbol table that was used to specialize the parser functor. I would this hard to impossible for some reason. Thanks, Joel -- http://wagerlabs.com/