vscode-tlaplus Syntax highlighting broken for single-line LET with multiple definitions

Syntax highlighting broken for single-line LET with multiple definitions

Open lemmy opened this issue 3 years ago • 3 comments

LET  from == GraphNodePos[u[1]] to == GraphNodePos[u[2]] ... IN ...

Note the to that is not highlighted.

Dec 12 '21 18:12 lemmy

@johnyf FYI, since multiple definitions on the same line in a LET/IN recently came up in a different context.

Dec 21 '21 16:12 lemmy

Looks like this issue has been fixed: the to is highlighted.

May 23 '22 18:05 anton-trunov

If yes, not exhaustively because the second GraphNodePos is still black.

May 23 '22 19:05 lemmy