issues
search
tlaplus-community
/
tree-sitter-tlaplus
A tree-sitter grammar for TLA⁺ and PlusCal
MIT License
57
stars
10
forks
source link
Grammar changes to improve highlighting
#37
Closed
ahelwer
closed
3 years ago
ahelwer
commented
3 years ago
Hid
unit
node
Added supertypes definition
Added string escape character node
Added nodes for binary/octal/hex format markers and values
Switched to
TSLexer::eof
API in external scanner
Updated nvim highlighting queries
Added tests for query files to CI
Remove check for WASM changes from CI
Add WASM to NPM package
Switch to @tlaplus/tree-sitter-cli 0.20.1-0 NPM package
Added & updated many tests
Moved examples to separate repo
Deleted site in preparation for moving to separate branch
Closes #28
unit
nodeTSLexer::eof
API in external scannerCloses #28