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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 3D881BB84 for ; Thu, 29 Jan 2009 05:37:57 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah4EAHnBgEndx9kLgWdsb2JhbACUDwIWIrYShUcG X-IronPort-AV: E=Sophos;i="4.37,341,1231110000"; d="scan'208";a="34423399" Received: from ajax.nicta.com.au ([221.199.217.11]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 29 Jan 2009 05:37:56 +0100 Received: from nicta-atp-mail.in.nicta.com.au ([129.94.151.12]) by ajax.nicta.com.au with esmtp (Exim 4.63) (envelope-from ) id 1LSOez-0003lb-3r; Thu, 29 Jan 2009 15:37:52 +1100 Received: from atp-mbx1.in.nicta.com.au ([221.199.216.123]) by nicta-atp-mail.in.nicta.com.au with Microsoft SMTPSVC(5.0.2195.6713); Thu, 29 Jan 2009 15:36:45 +1100 Received: from atp-mbx1.in.nicta.com.au ([221.199.216.123]) by atp-mbx1.in.nicta.com.au ([221.199.216.123]) with mapi; Thu, 29 Jan 2009 15:36:44 +1100 From: Paul Steckler To: Nicolas Pouillard Cc: "caml-list@yquem.inria.fr" Date: Thu, 29 Jan 2009 15:36:44 +1100 Thread-Topic: [Caml-list] Ampersand in camlp4 grammar extension Thread-Index: AcmBicuN55wv4UqfS1SXF1Hpv7De5QAP9eF/ Message-ID: <2EB36A07AAE8C44BBB1986425E7A22D0034D5BEF2F@atp-mbx1.in.nicta.com.au> References: <2EB36A07AAE8C44BBB1986425E7A22D0034D5BEF2D@atp-mbx1.in.nicta.com.au>,<1233174458-sup-6393@ausone.local> In-Reply-To: <1233174458-sup-6393@ausone.local> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US x-tm-as-product-ver: SMEX-8.0.0.1181-5.500.1027-16430.000 x-tm-as-result: No--37.574000-8.000000-31 x-tm-as-user-approved-sender: No x-tm-as-user-blocked-sender: No Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginalArrivalTime: 29 Jan 2009 04:36:45.0059 (UTC) FILETIME=[309B2D30:01C981CB] X-SA-Exim-Connect-IP: 129.94.151.12 X-SA-Exim-Mail-From: Paul.Steckler@nicta.com.au Subject: RE: [Caml-list] Ampersand in camlp4 grammar extension X-SA-Exim-Version: 4.2.1 (built Tue, 09 Jan 2007 17:23:22 +0000) X-SA-Exim-Scanned: Yes (on ajax.nicta.com.au) X-Spam: no; 0.00; steckler:01 steckler:01 camlp:01 syntax:01 camlp:01 caml-list:01 grammar:02 grammar:02 binary:02 seems:03 guess:04 debug:05 simpler:05 extension:06 extension:06 Hi Nicolas, > However I can guess in your question that you don't really want to change= the syntax of the binary operator "&", but rather to change it's meaning. In camlp4 there is a much more sane and easier way to do this using filters. By the way there is an example in the camlp4 sources that does exactly this= . Yes, this seems to work -- but it would be simpler, in fact, if I could jus= t use a rule in my grammar extension. Do you know if there's a way to debug grammar extensions? Maybe I need to DELETE a rule from the original grammar, though it's not clear to me which rule that is. Thanks, -- Paul