Correctly parse all specs in the Examples repo - Githubissues

tlaplus-community / tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

MIT License

57 stars 10 forks source link

Correctly parse all specs in the Examples repo #22

Closed ahelwer closed 3 years ago

ahelwer commented 3 years ago

Added missing operators \o, \union, and \intersect
Fixed string regex to handle escape-backslash
Fix lexing priority of >>_ and -.
Added use-or-hide to unit-level definitions