Fixes "Check Syntax" arrows for lexers #6

Merged
tov merged 3 commits from br-lexer-arrows into master 5 years ago

3 Commits (master)

Author SHA1 Message Date
Jesse A. Tov ea176e2153
Updated tests. 5 years ago
Jesse A. Tov 0e0e758851
Inlines `begin-with-disappeared-uses`, which means the big indentation
change is in this commit instead of the previous one.
5 years ago
Jesse A. Tov a1d0b422c8
Fixes Check Syntax arrows for lexer generator.
There was a bug in disappeared-use tracking--a missing
syntax-local-introduce. This change uses `with-disappeared-uses` and
`syntax-local-value/record`, instead of the (broken) manual tracking
that was present before.

I believe that non-BR parser-tools also has this bug, but I haven't
ported the fix yet.
5 years ago