Strange highlighting of PlusCal code on GitHub

tlaplus-community / tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

MIT License

57 stars 10 forks source link

Strange highlighting of PlusCal code on GitHub #72

Open ahelwer opened 1 year ago

ahelwer commented 1 year ago

This PlusCal code is highlighted strangely: https://github.com/tlaplus/Examples/blob/71d1a5da61d3419637674ebcfdd34e4ddc2ffa7e/specifications/SlushProtocol/Slush.tla#L177

Cannot be reproduced in neovim, nor with the tree-sitter highlight command locally. Will try updating the version of tree-sitter-tlaplus used by GitHub.

ahelwer commented 10 months ago

This strange highlighting persists even though the grammar version was updated on github. Either this is a bug with github's highlighting engine or it works differently to tree-sitter highlight and we aren't writing the highlighting rules correctly.