tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code
MIT License
352 stars 31 forks source link

Broken syntax highlighting after the first submodule #284

Closed hwayne closed 3 weeks ago

hwayne commented 1 year ago
---- MODULE foo ----
---- MODULE bar ----

Op1 == TRUE
====

Op2 == TRUE
====

Highlighting will not cover Op2.

lemmy commented 1 year ago

The second module header nested within doesn't even get highlighted accurately. I assume that it has never been correctly highlighted. AFAIK syntax highlighting is based on regex and I imagine this case will be difficult to handle.

Screenshot 2023-04-25 at 9 05 55 AM