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 + [ "=" "$="