Fixed interaction between junction lists and CASE/ITE constructs - Githubissues

tlaplus-community / tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

MIT License

57 stars 10 forks source link

Fixed interaction between junction lists and CASE/ITE constructs #8

Closed ahelwer closed 3 years ago

ahelwer commented 3 years ago

Also fixed minor bug with SUBSET prefix operator.