From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q47KHeLW020271 for ; Mon, 7 May 2012 22:17:40 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArEDABstqE9iiyx2d2dsb2JhbABEgkawewEMChMUJ4IDCQEBBAFAAQEBATUBAQMLCwMBQlcGAYgRAQMGBadBhDEBBYUDAkgFiVQBBpEIiGiEWIhJhW8tjSg X-IronPort-AV: E=Sophos;i="4.75,545,1330902000"; d="scan'208,217";a="142874479" Received: from nm8-vm0.access.bullet.mail.sp2.yahoo.com ([98.139.44.118]) by mail4-smtp-sop.national.inria.fr with SMTP; 07 May 2012 22:17:34 +0200 Received: from [98.139.44.107] by nm8.access.bullet.mail.sp2.yahoo.com with NNFMP; 07 May 2012 20:17:32 -0000 Received: from [98.139.44.78] by tm12.access.bullet.mail.sp2.yahoo.com with NNFMP; 07 May 2012 20:17:32 -0000 Received: from [127.0.0.1] by omp1015.access.mail.sp2.yahoo.com with NNFMP; 07 May 2012 20:17:32 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 921709.91741.bm@omp1015.access.mail.sp2.yahoo.com Received: (qmail 52514 invoked by uid 60001); 7 May 2012 20:17:32 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=att.net; s=s1024; t=1336421852; bh=nYNzC2O6LQ0EE0mBh/iP9KvTAGNWPFp90T6rYKvBfVw=; h=X-YMail-OSG:Received:X-Mailer:References:Message-ID:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type; b=z1pl4sTiRIH/jLuoP665ODIwATbWIep3j+3PSZihKxt957hDW+ZD7uMGTjmf06APcM2SQOjNt9tVfTAVQDBNPM2p3jOY48g8iOujuRmXPZpUGMNiMiMe5DKlY06vgNcAIGx8I+HQHkA0NcnODMsothwxMawg9Gzx7Jz6Km0XQ6A= DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=att.net; h=X-YMail-OSG:Received:X-Mailer:References:Message-ID:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type; b=zMBwgZhsvspIasaFSCDuA1vTGNRJA+iZDe9uImRqWWjqVScEIa3IWY5LVp86jm2Vf8WjDDPP8xiUmLwai/9zvruHRVuecxnD3AaLZlShAS/bDAXuYPhfq3BXYK7LhxkzML4Z3fGG0UiNaSoW93RvTf/vb+izjI4NELnCzUiaYoQ=; X-YMail-OSG: .oC6gFQVM1lTTb12Uz4TYI1sZ4TFyTk8M5hF8Pr4b4VDR4D WsDSRZQTetdXME6e9KhyC2BPyFo56th7XbiC5_eCKMmBMhkdZlw_DK0q9Sp3 yrpXLkUxhjOxrXrPTw14cVReYGuHJoqnjk6iH5LOMWbVuR9Vr2tXTST_dBSu yxcL3JcMNvDQRyabzbiXrIzZS2KAbbDaI2zhx1_rCULXurPMm3_WB53o9U72 yr74ZVHH6COG25WrGg85.4ZILvyOue9BEvt3sMv8J6E9RlWba6UviZBHsY3I Tbc.jjQ3l4bih0eyDHK9B5_Prq4A7JLK51V34u4hcjCqGNtq610EgX9aTlWf 9ejSqgzVnjbNCUzWT5TOxfA34anvDmGT7LehWri58xDZ2_Bki4XMHKTQaUbp .XEiRw5ldawBZjux689QOIg2qYylFpbiUziZJK00TYu0X Received: from [70.225.163.92] by web180016.mail.gq1.yahoo.com via HTTP; Mon, 07 May 2012 13:17:32 PDT X-Mailer: YahooMailRC/708 YahooMailWebService/0.8.117.340979 References: <1336383633.2612.YahooMailRC@web180006.mail.gq1.yahoo.com> <877gwokkep.fsf@frosties.localnet> <1336416909.25268.YahooMailRC@web180012.mail.gq1.yahoo.com> Message-ID: <1336421852.12778.YahooMailRC@web180016.mail.gq1.yahoo.com> Date: Mon, 7 May 2012 13:17:32 -0700 (PDT) From: Dan Bensen To: Dan Bensen , Goswin von Brederlow Cc: caml-list@inria.fr In-Reply-To: <1336416909.25268.YahooMailRC@web180012.mail.gq1.yahoo.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="-831922420-766043115-1336421852=:12778" Subject: Re: [Caml-list] extending user-defined polymorphic variant types ---831922420-766043115-1336421852=:12778 Content-Type: text/plain; charset=us-ascii > extend the concrete syntax of the parsing system > itself for parsing different kinds of data (terminals), > then layer the standard combinator syntax on top of it. That last part should read "layer the standard combinator ast on top of the reader ast." ---831922420-766043115-1336421852=:12778 Content-Type: text/html; charset=us-ascii
> extend the concrete syntax of the parsing system
> itself for parsing different kinds of data (terminals),

> then layer the standard combinator syntax on top of it.

That last part should read "layer the standard 
combinator ast on top of the reader ast."
---831922420-766043115-1336421852=:12778--