antlr-kotlin icon indicating copy to clipboard operation
antlr-kotlin copied to clipboard

Implement new caseInsensitive Options

Open piacenti opened this issue 3 years ago • 1 comments

For awareness https://github.com/antlr/antlr4/pull/3399 implemented a new option that would be worth supporting. I might create PR when I get time which may take a while. Creating this issue in case someone wants to go ahead on implementing this.

piacenti avatar May 20 '22 16:05 piacenti

Thank you for pointing this one out!

ftomassetti avatar May 23 '22 06:05 ftomassetti

These options are implemented on the ANTLR4 tool side. If it has it, this target supports it, so this can be closed.

lppedd avatar Dec 06 '23 11:12 lppedd

Closing as suggested

ftomassetti avatar Dec 06 '23 12:12 ftomassetti