`[] and `() break syntax highlighting

[michaelmesser]

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

[meraymond2]

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:

After:

[michaelmesser]

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

[meraymond2]

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