73 lines
947 B
Scheme
73 lines
947 B
Scheme
|
;; Primitives
|
||
|
(comment) @comment
|
||
|
(nat) @constant.numeric
|
||
|
(unit) @constant.builtin
|
||
|
(literal_char) @constant.character
|
||
|
(literal_text) @string
|
||
|
(literal_boolean) @constant.builtin.boolean
|
||
|
|
||
|
;; Keywords
|
||
|
[
|
||
|
(kw_forall)
|
||
|
(unique_kw)
|
||
|
(type_kw)
|
||
|
(kw_equals)
|
||
|
(do)
|
||
|
] @keyword
|
||
|
|
||
|
(kw_let) @keyword.function
|
||
|
(type_kw) @keyword.storage.type
|
||
|
(unique) @keyword.storage.modifier
|
||
|
("use") @keyword.control.import
|
||
|
|
||
|
|
||
|
[
|
||
|
(type_constructor)
|
||
|
] @constructor
|
||
|
|
||
|
[
|
||
|
(operator)
|
||
|
(pipe)
|
||
|
(arrow_symbol)
|
||
|
(">")
|
||
|
(or)
|
||
|
(bang)
|
||
|
] @operator
|
||
|
|
||
|
[
|
||
|
"if"
|
||
|
"else"
|
||
|
"then"
|
||
|
(match)
|
||
|
(with)
|
||
|
(cases)
|
||
|
] @keyword.control.conditional
|
||
|
|
||
|
(blank_pattern) @variable.builtin
|
||
|
|
||
|
;; Types
|
||
|
(record_field name: (wordy_id) @variable.other.member type: (wordy_id) @type)
|
||
|
[
|
||
|
(type_name)
|
||
|
(type_signature)
|
||
|
(effect)
|
||
|
] @type
|
||
|
|
||
|
(term_definition) @variable
|
||
|
|
||
|
;; Punctuation
|
||
|
[
|
||
|
(type_signature_colon)
|
||
|
":"
|
||
|
] @punctuation.delimiter
|
||
|
|
||
|
[
|
||
|
"("
|
||
|
")"
|
||
|
"{"
|
||
|
"}"
|
||
|
"["
|
||
|
"]"
|
||
|
] @punctuation.bracket
|
||
|
|