From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q47ItGh3018700 for ; Mon, 7 May 2012 20:55:16 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah8KAHMZqE9iiyxfWmdsb2JhbABEgkawcQEWCQwHEymCAwkBAQQBQAEBAQE1AQEDCwsDAUJDFAaIEgEDBgWnQYQxAQWFAQJIBYlUAQaRCIhohFiISYEKhGUthR+ICQ X-IronPort-AV: E=Sophos;i="4.75,545,1330902000"; d="scan'208,217";a="157092804" Received: from nm1-vm1.access.bullet.mail.sp2.yahoo.com ([98.139.44.95]) by mail1-smtp-roc.national.inria.fr with SMTP; 07 May 2012 20:55:10 +0200 Received: from [98.139.44.97] by nm1.access.bullet.mail.sp2.yahoo.com with NNFMP; 07 May 2012 18:55:09 -0000 Received: from [98.139.44.80] by tm2.access.bullet.mail.sp2.yahoo.com with NNFMP; 07 May 2012 18:55:09 -0000 Received: from [127.0.0.1] by omp1017.access.mail.sp2.yahoo.com with NNFMP; 07 May 2012 18:55:09 -0000 X-Yahoo-Newman-Property: ymail-5 X-Yahoo-Newman-Id: 699278.34827.bm@omp1017.access.mail.sp2.yahoo.com Received: (qmail 55953 invoked by uid 60001); 7 May 2012 18:55:09 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=att.net; s=s1024; t=1336416909; bh=fSFn5+icvWgdwMpqxWfX8RRyN4FLk/TpUjjOBpyduFk=; h=X-YMail-OSG:Received:X-Mailer:References:Message-ID:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type; b=eTugbZyVgxmHQUOh/6xUpvvE6rKs+Q+sW1x1rSPaKny6rGzhgYxtxLYWGmRa+CcjigYsALmXU+BRHJQ0+Irv609bswpY1WQOhhEoZYzf8/+Fe4HV8AuEM+DzBC8baXr1gTy8PogZxHWw6/buLJqFMc3R3P/DtGCPsYsFlFU6wH0= 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=qcxg/84A7/yo4I90Ff9qvtF3JcZH0oPfdBU3U86s5797xMckSNAvYhZCWBtxxcP1Gl4gcYB10C71hqSTEPDvXG8xcdaAuIWN1BAoAngXcqV/nKQ3XSQugCcQ8SHSBk30s4B8EjZeUDsvVc+1MHAXtxIHRCsgv/Dw9f/LjP7tapY=; X-YMail-OSG: tFPHwnAVM1koE9R83U9LUn.evjbMmsb9D.uypyEFyYmx3Dg qNhpayArlVJcc0FDe1VXb9IMA7ifgSSUxwkErnNFGb_OVnv2Mliyogjq9Pp3 byKakje0Yi0qQeutEEfZ8rDGgI2JjhICfJCPz9Dy4zMNZrDvdYENzp1pcuNH j4EsYwcFaqTHA1wiDY39F0Ye7j3pREwY.Fq5pF_BCNnX9sZ9Wrv7vkhZAodF WUKeyixmG.0Vs6kGN6NZWkMnKktfkcEHxtKtQ4UICQIZW1qHa0LDAcGXtxfR OIbgY2bnvw7W45z8I5eoYLrFdc_Dn8tssV7QoghN7gN7m.q8ZQcI7XzET07E 1FzGTHt_c2NywZtTdwa1BL8BHXYjeuZ7BKmjR7U.dXvrdmBB4WujHs3HhA9C RTuejuifvQ.TslflX2k9tsfjOryb8mJmGUo151XwQ.M1fyvIrq3c9SrNCL.2 _LFI8lAY4iHeX1r3dUDpyXbKkVgD6.mGPB4IY3yqX4QPvm4sZuXEZXA-- Received: from [70.225.163.92] by web180012.mail.gq1.yahoo.com via HTTP; Mon, 07 May 2012 11:55:09 PDT X-Mailer: YahooMailRC/708 YahooMailWebService/0.8.117.340979 References: <1336383633.2612.YahooMailRC@web180006.mail.gq1.yahoo.com> <877gwokkep.fsf@frosties.localnet> Message-ID: <1336416909.25268.YahooMailRC@web180012.mail.gq1.yahoo.com> Date: Mon, 7 May 2012 11:55:09 -0700 (PDT) From: Dan Bensen To: Goswin von Brederlow Cc: caml-list@inria.fr In-Reply-To: <877gwokkep.fsf@frosties.localnet> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="62145990-244274313-1336416909=:25268" Subject: Re: [Caml-list] extending user-defined polymorphic variant types --62145990-244274313-1336416909=:25268 Content-Type: text/plain; charset=us-ascii > What is your use case? What do you want to do? I've been trying to combine camlp4 with OMeta. (http://tinlizzie.org/ometa/) The idea is to allow the user to 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. Maybe the user can define a regular variant type for terminals and the combinator ast type can wrap it in a single variant (e.g. `Reader of Read.ast). --62145990-244274313-1336416909=:25268 Content-Type: text/html; charset=us-ascii

> What is your use case? What do you want to do?

I've been trying to combine camlp4 with OMeta.
(http://tinlizzie.org/ometa/)
The idea is to allow the user to 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. 

Maybe the user can define a regular variant type for
terminals and the combinator ast type can wrap it in
a single variant (e.g. `Reader of Read.ast).
--62145990-244274313-1336416909=:25268--