On Friday 17 April 2009 19:24:31 Joel Reymont wrote: > From the quasiquoting paper by Geoffrey Mainland [1], page 7: > > "The major advantage of our approach over that of camlp4 > is that we demonstrate how to use generic programming > to reuse a single parser to parse quasiquoted patterns, > quasiquoted expressions and plain syntax that does not > include antiquotes. Because OCaml does not support generic > programming out of the box,
I have no idea what he meant by this. > in camlp4 this would require three separate parsers, AFAICT, that was not true when he wrote it (Sept 2007) and is not true today. > each generating different representations of the same concrete syntax." That has never been true. > Can someone shed light on how, where and why three different > parsers are required for camlp4? I've CC'd the author. Perhaps he can shed some light on this. -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e _______________________________________________ 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