Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'runtime/queries/koka/locals.scm')
| -rw-r--r-- | runtime/queries/koka/locals.scm | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/runtime/queries/koka/locals.scm b/runtime/queries/koka/locals.scm deleted file mode 100644 index e654f70c..00000000 --- a/runtime/queries/koka/locals.scm +++ /dev/null @@ -1,25 +0,0 @@ -(modulebody) @local.scope - -(block) @local.scope - -(pparameter - (pattern - (identifier - (varid) @local.definition.variable.parameter))) - -(puredecl - (funid - (identifier - (varid) @local.definition.function))) - -(puredecl - (binder - (identifier - (varid) @local.definition.function))) - -(decl - (binder - (identifier - (varid) @local.definition.function))) - -(identifier (varid) @local.reference) |