On Dec 10, 2007, at 5:59 PM, Jon Harrop wrote:

However, using any camlp4 macros requires using the camlp4 replacement for the

front-end of the compiler. That uses a different parsing technology (top-down

recursive descent LL rather than bottom-up LALR) so the error messages from

the compiler are completely different.

Just to clarify : the error messages from the *parser* are completely different. Everything after the parser is the same with or without camlp4. Most importantly, you don't have to learn new type-checker messages.

Yitzhak

--------------------------------------------------

Yitzhak Mandelbaum

AT&T Labs - Research

http://www.research.att.com/~yitzhak