[Mono-list] I want to get in on this.

Miguel de Icaza miguel@ximian.com
13 Jul 2001 01:20:52 -0400


> While that looks cute on paper, and can be syntactically expressed in Backus
> Naur Form, that grammar isn't left recursive (with any lookahead, not just a
> finite one) and can't be parsed by yacc.  That grammar isn't even
> deterministic.  Do not pass go, do not collect the computer theorists' stamp
> of appproval.

Of course it can be parsed by yacc. 

The grammar is not deterministic, and that is what you use the actions
for.

Indeed, you can not use yacc to build an error checking C# parser, nor
a Java one.  You need to delay those actions to the `actions'.  Just
like you would with the grammar I showed you for the for next.

Miguel.