Hi,

If you are still accepting suggestions for Menhir,
mine is to allow guards on rules to prevent the
reduction of a rule when the guard is false.

Some languages are easy to parse, with some exceptions
that are hard to express with a grammar, as "these two
tokens should be on the same line" (hard to do if
everywhere else new lines are ignored...)

Cheers,



Joaquin Cuenca Abela
e98cuenc at yahoo dot com

__________________________________________________
Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 
http://mail.yahoo.com