diff options
| author | Pham Huy Hoang <hoangtun0810@gmail.com> | 2024-01-06 15:05:50 +0900 |
|---|---|---|
| committer | Christian Clason <c.clason@uni-graz.at> | 2024-01-19 16:58:37 +0100 |
| commit | 57a8acf0c4ed5e7f6dda83c3f9b073f8a99a70f9 (patch) | |
| tree | 70bf645539882b88e6fa129cefd30986b89bbac3 /queries/agda | |
| parent | ci: add query lint job (diff) | |
| download | nvim-treesitter-57a8acf0c4ed5e7f6dda83c3f9b073f8a99a70f9.tar nvim-treesitter-57a8acf0c4ed5e7f6dda83c3f9b073f8a99a70f9.tar.gz nvim-treesitter-57a8acf0c4ed5e7f6dda83c3f9b073f8a99a70f9.tar.bz2 nvim-treesitter-57a8acf0c4ed5e7f6dda83c3f9b073f8a99a70f9.tar.lz nvim-treesitter-57a8acf0c4ed5e7f6dda83c3f9b073f8a99a70f9.tar.xz nvim-treesitter-57a8acf0c4ed5e7f6dda83c3f9b073f8a99a70f9.tar.zst nvim-treesitter-57a8acf0c4ed5e7f6dda83c3f9b073f8a99a70f9.zip | |
chore: query formatting
Diffstat (limited to 'queries/agda')
| -rw-r--r-- | queries/agda/folds.scm | 4 | ||||
| -rw-r--r-- | queries/agda/highlights.scm | 57 |
2 files changed, 33 insertions, 28 deletions
diff --git a/queries/agda/folds.scm b/queries/agda/folds.scm index e3258efb9..5e1051f8f 100644 --- a/queries/agda/folds.scm +++ b/queries/agda/folds.scm @@ -1,4 +1,4 @@ [ - (record) - (module) + (record) + (module) ] @fold diff --git a/queries/agda/highlights.scm b/queries/agda/highlights.scm index 6ff55d2fc..657e657f9 100644 --- a/queries/agda/highlights.scm +++ b/queries/agda/highlights.scm @@ -1,43 +1,52 @@ - -;; Constants +; Constants (integer) @number -;; Variables and Symbols +; Variables and Symbols +(typed_binding + (atom + (qid) @variable)) -(typed_binding (atom (qid) @variable)) (untyped_binding) @variable -(typed_binding (expr) @type) + +(typed_binding + (expr) @type) (id) @function + (bid) @function -(function_name (atom (qid) @function)) -(field_name) @function +(function_name + (atom + (qid) @function)) +(field_name) @function -[(data_name) (record_name)] @constructor +[ + (data_name) + (record_name) +] @constructor ; Set (SetN) @type.builtin -(expr . (atom) @function) +(expr + . + (atom) @function) ((atom) @boolean (#any-of? @boolean "true" "false" "True" "False")) -;; Imports and Module Declarations - -"import" @keyword.import +; Imports and Module Declarations +"import" @keyword.import (module_name) @module -;; Pragmas and comments - +; Pragmas and comments (pragma) @keyword.directive (comment) @comment @spell -;; Keywords +; Keywords [ "where" "data" @@ -62,20 +71,16 @@ "infixl" "infixr" "record" -] -@keyword - -;;;(expr -;;; f_name: (atom) @function) -;; Brackets +] @keyword +;(expr +; f_name: (atom) @function) +; Brackets [ "(" ")" "{" - "}"] -@punctuation.bracket + "}" +] @punctuation.bracket -[ - "=" -] @operator +"=" @operator |