From fd59f984416f696d85119fd4d15ce0965b179944 Mon Sep 17 00:00:00 2001
From: Christian Clason <c.clason@uni-graz.at>
Date: Thu, 16 Jan 2025 17:36:44 +0100
Subject: [PATCH] fix(idris): correct keyword captures

Fixup for #7274
---
 queries/idris/highlights.scm | 10 +++++++---
 1 file 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
@@ -108,6 +108,11 @@
 (module
   (caname) @module)
 
+[
+  "let"
+  "in"
+] @keyword
+
 [
   (where)
   "rewrite"
@@ -125,13 +130,12 @@
 ] @keyword.operator
 
 [
-  "data"
-  "let"
-  "in"
   (visibility)
   (totality)
 ] @keyword.modifier
 
+"data" @keyword.type
+
 [
   "="
   "$="