Highlighting delimiters

[zraffer]

(not sure to post it here or into tree-sitter counterpart)

The default One Dark scheme does not distinguish delimiters (brackets, punctuation). However there are a few syntax color schemes which does.

Schemes for testing : https://atom.io/themes/oceanic-next https://atom.io/themes/seti-syntax Agda code for testing: https://gist.github.com/zraffer/314e6baada99eb115e4fc9573ede8575#file-test-agda

Currently I see colored brackets () {} as far as : =. It is very good! However I see some symbols in source of language-agda which seemingly should also be colored but it is actually not. Among them are:

• {-# OPTIONS #-} pragma is currently white (supposed: brackets to be gray, keyword to be of keyword color)
• arrows -> → are white (supposed: of delimiters color like =)
• quantifiers ∀ λ forall \ are white (supposed: of keyword color)
• ; is white

[banacorn]

(here's the right place to post this)

Here's what some of delimiters look like under the oceanic-next scheme

Delimiters like square brackets [] and comma , are not highlighted because Agda don't use them. Users are free to use these symbols as names, that's why they are not highlighted.

But yes, other symbols you mentioned should to be highlighted. Thanks for pointing them out!