search

meraymond2 / idris-vscode

Idris front-end for VS Code
MIT License
59 stars 10 forks source link

`[] and `() break syntax highlighting #13

Closed michaelmesser closed 3 years ago

michaelmesser commented 3 years ago

`[] and `() break syntax highlighting. Everything after the ` is the same color till the next `.

meraymond2 commented 3 years ago

I think I've fixed this, but it's not a syntactical element I've ever used before, so if you have any example code, that would be useful to confirm. I could only find one file in the Idris2 repo that used this.

Before: 2020-12-05-183759_1920x1080_scrot After: 2020-12-05-183821_1920x1080_scrot

michaelmesser commented 3 years ago

That looks right to me. `() contains an expression. `[] contains declarations.

meraymond2 commented 3 years ago

This should be fixed in the latest version. Feel free to reopen this if you come across any other cases. :+1: