feat(idris): add parser and queries (#7274)

This commit is contained in:
Serhii Khoma 2025-01-16 23:34:37 +07:00 committed by GitHub
parent a67a312e7b
commit 8758abeb4d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
7 changed files with 273 additions and 0 deletions

33
queries/idris/locals.scm Normal file
View file

@ -0,0 +1,33 @@
(signature
name: (loname)) @local.definition.var
(signature
name: (caname)) @local.definition.type
(function
(lhs
(funvar
subject: (loname)))) @local.definition.function
(function
(lhs
(funvar
subject: (caname)))) @local.definition.function
(type_var
(loname)) @local.definition.type
(pat_name
(loname)) @local.definition.var
(pat_name
(caname)) @local.definition.var
(exp_name
(loname)) @local.reference
(exp_name
(caname)) @local.reference
(function
(rhs) @local.scope)