blob: 8ec2b6ff2b1ef4631614b2bcaa803fd7ba258587 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
;; 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
|
