Maybe you will find Pickler Combinators useful: http://research.microsoft.com/en-us/um/people/akenn/fun/picklercombinators.pdf
On Wed, Dec 8, 2010 at 11:47 PM, Dawid Toton <d...@wp.pl> wrote: > I'm going to define a parser and a printer for a simple grammar. > Is there a way to define both of them in a single construct using some > existing OCaml tool? > > For example, I have a keyword "function". The usual parser would contain a > mapping like: > "function" -> `Function > and the straightforward printer would do: > `Function -> "function" > > What is the best way to combine these definitions, so that duplication > would be minimized? > To be precise, avoiding duplication is not exactly what I need. I'm looking > for something that would prevent making inconsistent changes to the parser > and the printer. > > Dawid > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >
_______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
