diff --git a/queries/perga/highlights.scm b/queries/perga/highlights.scm deleted file mode 100644 index a44408c..0000000 --- a/queries/perga/highlights.scm +++ /dev/null @@ -1,8 +0,0 @@ -[ "fun" "λ" "forall" "∏" ] @keyword -[ "->" "=>" "→" "⇒" "," ":=" ";" ":" ] @punctuation.delimiter -[ "(" ")" ] @punctuation.bracket -;[ "*" "□" "[]" ] @constant.builtin -(comment) @comment -(identifier) @variable -;(param) @variable.parameter -;(type) @type diff --git a/test/corpus/params.txt b/test/corpus/params.txt index 91a5d9b..927a406 100644 --- a/test/corpus/params.txt +++ b/test/corpus/params.txt @@ -10,27 +10,21 @@ foo (A : *) (x y z : A) := x; (definition (identifier) (param_block - (param - (identifier)) - (type - (expr - (app_term - (app - (term - (star))))))) + (identifier) + (expr + (app_term + (app + (term + (star)))))) (param_block - (param - (identifier)) - (param - (identifier)) - (param - (identifier)) - (type - (expr - (app_term - (app - (term - (identifier))))))) + (identifier) + (identifier) + (identifier) + (expr + (app_term + (app + (term + (identifier)))))) (expr (app_term (app