Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'runtime/queries/lean/highlights.scm')
| -rw-r--r-- | runtime/queries/lean/highlights.scm | 216 |
1 files changed, 0 insertions, 216 deletions
diff --git a/runtime/queries/lean/highlights.scm b/runtime/queries/lean/highlights.scm deleted file mode 100644 index 648507f7..00000000 --- a/runtime/queries/lean/highlights.scm +++ /dev/null @@ -1,216 +0,0 @@ -; Variables -(identifier) @variable - -; Namespaces - -(open - namespace: (identifier) @namespace) -(namespace - name: (identifier) @namespace) -(section - name: (identifier) @namespace) - -;; Identifier naming conventions -((identifier) @type - (#match? @type "^[A-Z]")) - -(arrow) @type -(product) @type - -;; Declarations - -[ - "abbrev" - "def" - "theorem" - "constant" - "instance" - "axiom" - "example" - "inductive" - "structure" - "class" - - "deriving" - - "section" - "namespace" -] @keyword - -(attributes - (identifier) @function) - -(abbrev - name: (identifier) @type) -(def - name: (identifier) @function) -(theorem - name: (identifier) @function) -(constant - name: (identifier) @type) -(instance - name: (identifier) @function) -(instance - type: (identifier) @type) -(axiom - name: (identifier) @function) -(structure - name: (identifier) @type) -(structure - extends: (identifier) @type) - -(where_decl - type: (identifier) @type) - -(proj - name: (identifier) @field) - -(binders - type: (identifier) @type) - -["if" "then" "else"] @keyword.control.conditional - -["for" "in" "do"] @keyword.control.repeat - -(import) @include - -; Tokens - -[ - "!" - "$" - "%" - "&&" - "*" - "*>" - "+" - "++" - "-" - "/" - "::" - ":=" - "<" - "<$>" - "<*" - "<*>" - "<=" - "<|" - "<|>" - "=" - "==" - "=>" - ">" - ">" - ">=" - ">>" - ">>=" - "@" - "^" - "|>" - "|>." - "||" - "←" - "→" - "↔" - "∘" - "∧" - "∨" - "≠" - "≤" - "≥" -] @operator - -[ - "@&" -] @operator - -[ - "attribute" - "by" - "end" - "export" - "extends" - "fun" - "let" - "have" - "match" - "open" - "return" - "universe" - "variable" - "where" - "with" - "λ" - (hash_command) - (prelude) - (sorry) -] @keyword - -[ - "prefix" - "infix" - "infixl" - "infixr" - "postfix" - "notation" - "macro_rules" - "syntax" - "elab" - "builtin_initialize" -] @keyword - -[ - "noncomputable" - "partial" - "private" - "protected" - "unsafe" -] @keyword - -[ - "apply" - "exact" - "rewrite" - "rw" - "simp" - (trivial) -] @keyword - -[ - "catch" - "finally" - "try" -] @exception - -((apply - name: (identifier) @exception) - (#match? @exception "throw")) - -[ - "unless" - "mut" -] @keyword - -[(true) (false)] @boolean - -(number) @constant.numeric.integer -(float) @constant.numeric.float - -(comment) @comment -(char) @character -(string) @string -(interpolated_string) @string -; (escape_sequence) @string.escape - -; Reset highlighting in string interpolation -(interpolation) @none - -(interpolation - "{" @punctuation.special - "}" @punctuation.special) - -["(" ")" "[" "]" "{" "}" "⟨" "⟩"] @punctuation.bracket - -["|" "," "." ":" ";"] @punctuation.delimiter - -(sorry) @error |