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