Re: (a || b) is not the same as (a >> -b | b) !!!!

On 10/19/20 12:09 PM, Juan Dent wrote:
> Hi Joel and Larry,
> 
> Indeed Larry is correct, I have no problem with the roman_numerals parser but with the stated equivalence of these 2 grammars:
> 
> (a || b) 
> 
> (a >> -b | b)
> 
[snip]

Hi Juan,

I think Joel, because he has had to dissect so many previous lines
of spirit code, wants you to actually test the roman_numerals code
to see if it fails.  If it does, then, since it, I assume,
doesn't fail for Joel, the conclusion would be something else
beside spirit is causing the difference.

Anyway, it would just reassure Joel that there really is
a problem with spirit if you confirmed the roman_numerals code
fails for you.

I know it's a hassle, but I think it would be a
good "division of labor" ;)

-happy "debugging",
Larry