Add special symbols to highlighting

effekt-lang / effekt-website

Website of the Effekt programming language

https://effekt-lang.github.io/effekt-website

MIT License

4 stars 6 forks source link

Closed marvinborner closed 7 months ago

marvinborner commented 7 months ago

After https://github.com/effekt-lang/effekt/pull/419, this PR adds support for the special symbols ? and ! in identifiers.

Before:

After:

jiribenes commented 7 months ago

Could you also update the VSCode plugin if you get some time? I think it doesn't support ? and ! yet, but I'm not sure: https://github.com/effekt-lang/effekt-vscode/blob/master/syntaxes/effekt.tmLanguage.json