> Le 14 juin 2020 à 10:24, Akim Demaille <[email protected]> a écrit :
>
> This series of commits (https://github.com/akimd/bison/pull/40)
> changes the way the counterexamples are shown in the diagnostics, and
> introduces them in the reports.
>
> In the terminal [...]
>
> ```
> Shift/reduce conflict on token B:
> Example A . B C
> First derivation s ::=[ a ::=[ A . ] bc ::=[ B C ] ]
> Example A . B C
> Second derivation s ::=[ ac ::=[ A ac ::=[ b ::=[ . B ] ] C ] ]
> ```
>
> In the reports [...]
>
> ```
> State 5
>
> 1 exp: exp . OP exp
> 1 | exp OP exp . [$end, OP]
>
> OP shift, and go to state 4
>
> OP [reduce using rule 1 (exp)]
> $default reduce using rule 1 (exp)
>
> Shift/reduce conflict on token OP:
> 1 exp: exp OP exp .
> 1 exp: exp . OP exp
> Example exp OP exp . OP exp
> First derivation exp ::=[ exp ::=[ exp OP exp . ] OP exp ]
> Example exp OP exp . OP exp
> Second derivation exp ::=[ exp OP exp ::=[ exp . OP exp ] ]
> ```
>
> I would very much like to have comments about this series.
No comments. Installed.
