Properly parse nested block quotes, extramodular text, and (some) jlist unit terminations using the external scanner - Githubissues

tlaplus-community / tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

MIT License

57 stars 10 forks source link

Properly parse nested block quotes, extramodular text, and (some) jlist unit terminations using the external scanner #16

Closed ahelwer closed 3 years ago

ahelwer commented 3 years ago

This PR adds functionality to the external scanner to:

Properly parse nested block quotes (fixes https://github.com/tlaplus-community/tree-sitter-tlaplus/issues/15)
Properly parse freeform text that can occur outside of modules
Terminate jlists when a keyword indicating the beginning of a unit definition is encountered (see https://github.com/tlaplus-community/tree-sitter-tlaplus/issues/3)

Many tests are added for these three features.