Re: [PATCH] cex: fix reporting of null nonterminals

Hi Vincent,

Yes, indeed, it was the empty rules that made the reports confusing.
Good hunch, good catch!

> Le 21 juin 2020 à 22:20, Vincent Imbimbo <[email protected]> a écrit :
> 
> I implemented this to print A ::= [ ], but A ::= [ %empty ] might be clearer.

I tend to prefer %empty, indeed.

It is true though that it looks heavier

Example              B . b c
First derivation     S ::=[ B ::=[ A ::=[ B . ] b A ::=[ ] ] C ::=[ A ::=[ ] c A ::=[ ] ] ]
Second derivation    S ::=[ B C ::=[ A ::=[ B ::=[ A ::=[ . ] b A ::=[ ] ] ] c A ::=[ ] ] ]

Example              B . b c
First derivation     S ::=[ B ::=[ A ::=[ B . ] b A ::=[ %empty ] ] C ::=[ A ::=[ %empty ] c A ::=[ %empty ] ] ]
Second derivation    S ::=[ B C ::=[ A ::=[ B ::=[ A ::=[ %empty . ] b A ::=[ %empty ] ] ] c A ::=[ %empty ] ] ]

but this example is artificial.  With "real world" symbol names, it's
probably more natural.

Let's wait for a possible other opinion, but eventually, I think I'll
use %empty instead.


Thanks a lot for this fix, Vincent, installed.