Skip to content

Commit

Permalink
minor comment cleanup
Browse files Browse the repository at this point in the history
  • Loading branch information
omentic committed Sep 18, 2023
1 parent 92dcc93 commit dba360d
Showing 1 changed file with 1 addition and 17 deletions.
18 changes: 1 addition & 17 deletions runtime/queries/agda/highlights.scm
Original file line number Diff line number Diff line change
Expand Up @@ -30,14 +30,13 @@
(untyped_binding (atom) @variable)
(typed_binding (atom) @variable)
(field_name) @variable.other.member
; todo: variable.parameter

;; Functions
(function_name) @function
;(function (lhs
; . (atom) @function
; (atom) @variable.parameter))
; todo: why tf does this not work
; todo: currently fails to parse, upstream tree-sitter bug

;; Data
[(data_name) (record_name)] @constructor
Expand Down Expand Up @@ -123,18 +122,3 @@
; "variable"
; "with"

;; Brackets
; [
; "("
; ")"
; "["
; "]"
; "{"
; "}"
; "{-#"
; "#-}"
; "{-"
; "-}"
; "{!"
; "!}"
; ] @punctuation.bracket

0 comments on commit dba360d

Please sign in to comment.