~ahelwer/tree-sitter-tlaplus

3896a5be761f04ffb22a841b2a0672f7a8a43ef9 — Andrew Helwer 4 months ago aaf5bb5
Upgrade to TS 0.21.0, expand corpus tests, add fields to grammar (#86)

Signed-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com>
50 files changed, 734465 insertions(+), 730906 deletions(-)

M .github/workflows/ci.yml
M Cargo.toml
M grammar.js
M package.json
M src/grammar.json
M src/node-types.json
M src/parser.c
M src/scanner.cc
M src/tree_sitter/parser.h
M test/corpus/assume-prove.txt
M test/corpus/case.txt
M test/corpus/conjlist.txt
M test/corpus/disjlist.txt
M test/corpus/except.txt
A test/corpus/exclude/sany/case.txt
R test/corpus/{comment-jlist.txt => exclude/sany/comment-jlist.txt}
R test/corpus/{comment.txt => exclude/sany/comment.txt}
A test/corpus/exclude/sany/modules.txt
A test/corpus/exclude/sany/number.txt
A test/corpus/exclude/sany/operators.txt
R test/corpus/{snippet.txt => exclude/sany/snippet.txt}
A test/corpus/exclude/sany/string.txt
A test/corpus/expressions.txt
M test/corpus/fairness.txt
M test/corpus/functions.txt
A test/corpus/infix_op.txt
M test/corpus/jlist.txt
A test/corpus/labels.txt
M test/corpus/modules.txt
M test/corpus/number.txt
M test/corpus/operators.txt
A test/corpus/postfix_op.txt
M test/corpus/prefix_op.txt
M test/corpus/proofs.txt
A test/corpus/quantification.txt
A test/corpus/records.txt
A test/corpus/recursive.txt
A test/corpus/regression.txt
M test/corpus/sets.txt
M test/corpus/step_expressions.txt
M test/corpus/string.txt
M test/corpus/subexpressions.txt
R test/corpus/{case-unicode.txt => unicode/case-unicode.txt}
R test/corpus/{conjlist-unicode.txt => unicode/conjlist-unicode.txt}
R test/corpus/{disjlist-unicode.txt => unicode/disjlist-unicode.txt}
R test/corpus/{functions-unicode.txt => unicode/functions-unicode.txt}
A test/corpus/unicode/string-unicode.txt
M test/corpus/unit.txt
A test/corpus/use_or_hide.txt
M test/dependencies/tree-sitter
This diff is too large to display. Try viewing the raw diff instead.