grmtools
grmtools copied to clipboard
Case insensitive tokenization / Flex's %option caseless
Flex has a directive %option caseless
to lex tokens in a case insensitive way.
Is there currently a way (besides using regular expressions) to accomplish the same?
At the moment, no. I think before we added this, we'd need to add the idea of lexerkind
s to lrlex (in the same way that lrpar has the idea of grammarkinds
), because caseless
is a Flex extension that isn't supported by lex
. That would be a nice little project for someone to add.