diff options
| author | Christian Clason <c.clason@uni-graz.at> | 2025-01-16 17:36:44 +0100 |
|---|---|---|
| committer | Christian Clason <ch.clason+github@icloud.com> | 2025-01-16 17:45:38 +0100 |
| commit | fd59f984416f696d85119fd4d15ce0965b179944 (patch) | |
| tree | 82ce8d364a1b874c92cacf954dfaddfe85928cd9 | |
| parent | feat(idris): add parser and queries (#7274) (diff) | |
| download | nvim-treesitter-fd59f984416f696d85119fd4d15ce0965b179944.tar nvim-treesitter-fd59f984416f696d85119fd4d15ce0965b179944.tar.gz nvim-treesitter-fd59f984416f696d85119fd4d15ce0965b179944.tar.bz2 nvim-treesitter-fd59f984416f696d85119fd4d15ce0965b179944.tar.lz nvim-treesitter-fd59f984416f696d85119fd4d15ce0965b179944.tar.xz nvim-treesitter-fd59f984416f696d85119fd4d15ce0965b179944.tar.zst nvim-treesitter-fd59f984416f696d85119fd4d15ce0965b179944.zip | |
fix(idris): correct keyword captures
Fixup for #7274
| -rw-r--r-- | queries/idris/highlights.scm | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/queries/idris/highlights.scm b/queries/idris/highlights.scm index f39deaec6..d3dfa7a9f 100644 --- a/queries/idris/highlights.scm +++ b/queries/idris/highlights.scm @@ -109,6 +109,11 @@ (caname) @module) [ + "let" + "in" +] @keyword + +[ (where) "rewrite" "interface" @@ -125,13 +130,12 @@ ] @keyword.operator [ - "data" - "let" - "in" (visibility) (totality) ] @keyword.modifier +"data" @keyword.type + [ "=" "$=" |