Names with "pattern" included incorrectly highlighted

agda / agda-github-syntax-highlighting

Syntax highlighting used on GitHub

MIT License

4 stars 4 forks source link

Names with "pattern" included incorrectly highlighted #1

Closed MatthewDaggitt closed 4 years ago

MatthewDaggitt commented 4 years ago

See pattern-size in https://github.com/agda/agda-stdlib/pull/1158/files#diff-a9aa27e9b2f02b7017135066c1ce47cdR103

ajrouvoet commented 4 years ago

The same for other keywords it seems. Like 'abstract':

guillaumebrunerie commented 4 years ago

Working on it.

guillaumebrunerie commented 4 years ago

Should be fixed now, I also added a test file examples.agda which now works as expected, but feel free to test it (at https://github-lightshow.herokuapp.com/) on more examples. Note that the changes will be live only when the next version of linguist gets deployed.