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 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 9CDE6BC6C for ; Tue, 1 May 2007 23:39:24 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.168]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l41LdNuZ027704 for ; Tue, 1 May 2007 23:39:24 +0200 Received: by ug-out-1314.google.com with SMTP id k3so105689ugf for ; Tue, 01 May 2007 14:39:23 -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=golW3nrUOkJN89gra8jejiV6ElGC5lyCNW+ZGx3U/SYJQBnjqQstFjvXN75v4zElzvuGPP7SFCxDGYdFJHSlnVjdNhT30aUhHW9hH+7FKJe3E4C1eI4f3KPe99BAtxv50NcKLGEoNSUjcwSNUGXGX1Zluhq/A4JQrhWIbSYnGwk= 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=mip6lvPjgh/UI3nyCbpSb7/kdMFcJhedjXlWYGa3XbZDAWLJM1usd4CXWMkMZWpB7ZvJvSVMfEx730gNftMb+OY/mXD+sf/jEj73tk95Jm9nuNOoGEo5MuaAERikyLUTnPZI9HLPod1RA0Etb7JQsB8kGIWFbUB96iSfa/7smHg= Received: by 10.67.6.1 with SMTP id j1mr575681ugi.1178055563847; Tue, 01 May 2007 14:39:23 -0700 (PDT) Received: from ?192.168.1.34? ( [83.52.237.136]) by mx.google.com with ESMTP id q1sm1572922uge.2007.05.01.14.39.22; Tue, 01 May 2007 14:39:23 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <1EE80473-541D-478D-97F8-06A1B5F65F79@gmail.com> Cc: menhir-list@yquem.inria.fr, skaller Content-Transfer-Encoding: 7bit From: Joel Reymont Subject: There's an elephant in the room: Solution to sharing a symbol table Date: Tue, 1 May 2007 22:39:19 +0100 To: Caml List X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 4637B38C.000 on concorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at concorde with ID 4637B38C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; symtab:01 parser:01 run-time:01 elephant:98 elephant:98 compile:01 eof:04 generated:05 table:93 table:93 fun:08 whereas:09 solve:11 doesn't:12 happens:12 %type Easy.program> program: statement EOF { fun t -> List.rev ($1 t) } etc Would this work with Menhir and would it be detrimental to performance? I think there's an elephant in the room. Functorization of a Menhir- generated parser doesn't solve this issue since the specialization happens at compile time whereas a new symbol table is a run-time value. Thanks, Joel -- http://wagerlabs.com/