fix symbol prefixing bug triggered by certain usage of %option no_symbol_prefixing

This commit is contained in:
Irmen de Jong
2025-03-03 22:26:19 +01:00
parent 2b6510dc19
commit 5b63590ebf
5 changed files with 64 additions and 40 deletions
-2
View File
@@ -1,8 +1,6 @@
TODO
====
- fix scoping bug
- Look at github PR for improved romability (see github issue 149) Also search for "TODO: Romable"
- Sorting module gnomesort_uw could be optimized more by fully rewriting it in asm? Shellshort seems consistently faster even if most of the words are already sorted.