Re: Fix %error-verbose for conflicts resolved by %nonassoc.

[Akim Demaille]

Le 27 août 09 à 00:21, Joel E. Denny a écrit :

> Thanks for mentioning that.  I meant to address it, but I fell down a
> different rabbit hole and forgot.
> [...]

Your explanations are crystal clear.  It's a very nice basis to  
address the following points:

> I really need to rewrite the lr.default-reductions and lr.type
> documentation.  A cross-reference from %error-verbose would be nice.
> I'll try to get to that before the 2.5 release.

Thanks for taking the time to analyse this!

> > Maybe that would also explain my incorrect
> > messages in the nearby thread about semantic error messages.
>
> I skimmed that, and I would guess that you need canonical LR.  I  
> haven't
> explored your grammar yet though.

I don't think you have the grammar I was referring too, or maybe an  
old version of it.