Commented by lsf37 on 2003-06-10 10:26 UTC
Logged In: YES
I'm tempted to say that this is not a bug, but a feature.
As specified in the manual, %ignorecase should not work on
The problem is that %ignorecase in JFlex is older than the
same option in JLex and JLex behaves differently. If I now
change %ignorecase to the JLex behaviour existing JFLex
specifications might no longer work.
I will propably add a command line switch --jlex or
something similar to force the JLex behaviour. This way
you can choose what you like better, and it might also be
useful for other JLex issues.