Update EXCEPT expression parsing to delineate each update specifier

tlaplus-community / tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

MIT License

57 stars 10 forks source link

Update EXCEPT expression parsing to delineate each update specifier #65

Closed will62794 closed 2 years ago

will62794 commented 2 years ago

These changes improve the parsing of EXCEPT expressions by explicitly demarcating each update specifier separately in the parse tree. I tried to add in helpful field names where appropriate in accordance with your suggestion, and added a suite of basic tests for the various update specifier combinations.

ahelwer commented 2 years ago

Also bump the version number to 0.6.0 in the rust and node.js config files so we can do another release after this is merged