fix(idris): correct keyword captures

Fixup for #7274
This commit is contained in:
Christian Clason 2025-01-16 17:36:44 +01:00 committed by Christian Clason
parent 8758abeb4d
commit fd59f98441

View file

@ -108,6 +108,11 @@
(module (module
(caname) @module) (caname) @module)
[
"let"
"in"
] @keyword
[ [
(where) (where)
"rewrite" "rewrite"
@ -125,13 +130,12 @@
] @keyword.operator ] @keyword.operator
[ [
"data"
"let"
"in"
(visibility) (visibility)
(totality) (totality)
] @keyword.modifier ] @keyword.modifier
"data" @keyword.type
[ [
"=" "="
"$=" "$="