r|!r does not always match everything #567
Description
Original bug report:
hello,
I found an issue with the negation operator "!"
With the following specification, string "baba" is not matched
by either EXP ou !EXP .
Pascal Hennequin
%%
%standalone
%{
void ECHO(String cat) { System.out.print("["+cat+":"+yytext()+"]"); }
%}
EXP = ( [^a] [^]* [^a] )
ALL = {EXP} | ! {EXP}
%%
{ALL} { ECHO("1"); }
baba { ECHO("2"); }