search

tlaplus-community / tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal
MIT License
57 stars 10 forks source link

Moved external scanner fully to generalized token lookahead system #17

Closed ahelwer closed 3 years ago

ahelwer commented 3 years ago

This avoids having to special-case instances of two tokens having the same start character. Further improves https://github.com/tlaplus-community/tree-sitter-tlaplus/issues/3