Closed meraymond2 closed 3 years ago
Correctly handle nested block comments, which are valid Idris grammar as long as they're balanced. Currently these are highlighted incorrectly, see https://github.com/meraymond2/idris-vscode/issues/36.
This fix was quite painless because I found https://github.com/soegaard/racket-highlight-for-github, where they solved this exact problem. So thank you @soegaard!
Correctly handle nested block comments, which are valid Idris grammar as long as they're balanced. Currently these are highlighted incorrectly, see https://github.com/meraymond2/idris-vscode/issues/36.
This fix was quite painless because I found https://github.com/soegaard/racket-highlight-for-github, where they solved this exact problem. So thank you @soegaard!