Re: extra lookahead sets in report

[Akim Demaille]

Le 18 oct. 07 à 18:58, Joel E. Denny a écrit :

> On Thu, 18 Oct 2007, Akim Demaille wrote:
>
> > > > > Even if the result is incorrect (excuse my Bison's French ;)
> >
> >   état 1
> >
> >       2 start: 'a' . a 'a'
> >       3 a: . 'a'  [$end]
>
> The above lookahead set is incorrect.  It should be:
>
>         3 a: . 'a'  ['a']
>
> The 'a' comes from the previous item.  I should add a comment to  
> the test
> case to make this clearer.

You don't need to, it's obvious.  But what's not obvious is
what exactly is incorrect.  Your comments seem to imply that
Bison is correct in its implementation of the "incorrect"
algorithm it uses, therefore, albeit incorrect, the result
is faithful.  So I would just keep it, unless it's only
misleading.