Skip to content

Commit 4753990

Browse files
committed
Tweak the import tree sitter hlgroups.
(This still isn't really used yet until/unless tree-sitter-lean is revived. But the hlgroup is wrong as-is so may as well fix it.)
1 parent 25530cf commit 4753990

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

queries/lean/highlights.scm

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -68,7 +68,8 @@
6868

6969
["for" "in" "do"] @repeat
7070

71-
(import) @include
71+
(import
72+
module: (identifier) @module)
7273

7374
; Tokens
7475

@@ -173,6 +174,10 @@
173174
(trivial)
174175
] @keyword
175176

177+
[
178+
"import"
179+
] @keyword.import
180+
176181
[
177182
"catch"
178183
"finally"

0 commit comments

Comments
 (0)