Re: rule cycle and reduce/reduce conflict

[John Levine]

>bool_expr : '!' bool_expr
>          | num_expr '=' num_expr
>          | 'b'
>          ;
>
>num_expr : bool_expr
>         | 'n'
>         ;

Yes, this is ambiguous.

If your input is "!b=n", it can't tell which of these you mean:

! ( b = n )

(!b) = n

R's,
John