search

tlaplus-community / tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal
MIT License
57 stars 10 forks source link

Fails to parse `!!` as nonfix operator with only one subexpression component #97

Closed ahelwer closed 7 months ago

ahelwer commented 8 months ago

This will succeed:

---- MODULE Test ----
op == A!B!!!(1,2)
====

but this will fail:

---- MODULE Test ----
op == A!!!(1,2)
====

Caught during work on https://github.com/tlaplus/tlaplus/issues/882