Maybe you will find Pickler Combinators useful:<div><a href="http://research.microsoft.com/en-us/um/people/akenn/fun/picklercombinators.pdf">http://research.microsoft.com/en-us/um/people/akenn/fun/picklercombinators.pdf</a></div>

<div><div><br></div><div><br><div class="gmail_quote">On Wed, Dec 8, 2010 at 11:47 PM, Dawid Toton <span dir="ltr">&lt;<a href="mailto:d0@wp.pl">d0@wp.pl</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

I&#39;m going to define a parser and a printer for a simple grammar.<br>
Is there a way to define both of them in a single construct using some existing OCaml tool?<br>
<br>
For example, I have a keyword &quot;function&quot;. The usual parser would contain a mapping like:<br>
&quot;function&quot; -&gt; `Function<br>
and the straightforward printer would do:<br>
`Function -&gt; &quot;function&quot;<br>
<br>
What is the best way to combine these definitions, so that duplication would be minimized?<br>
To be precise, avoiding duplication is not exactly what I need. I&#39;m looking for something that would prevent making inconsistent changes to the parser and the printer.<br>
<br>
Dawid<br>
<br>
_______________________________________________<br>
Caml-list mailing list. Subscription management:<br>
<a href="http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list" target="_blank">http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list</a><br>
Archives: <a href="http://caml.inria.fr" target="_blank">http://caml.inria.fr</a><br>
Beginner&#39;s list: <a href="http://groups.yahoo.com/group/ocaml_beginners" target="_blank">http://groups.yahoo.com/group/ocaml_beginners</a><br>
Bug reports: <a href="http://caml.inria.fr/bin/caml-bugs" target="_blank">http://caml.inria.fr/bin/caml-bugs</a><br>
</blockquote></div><br></div></div>