Highlight some keyword.function nodes as just keywords

This commit is contained in:
Andrew Helwer 2021-08-19 14:14:58 -04:00 committed by Stephan Seitz
parent ba6d60820a
commit 7ff6ee6e9d

View file

@ -57,20 +57,20 @@
"WF_" "WF_"
"WITH" "WITH"
"WITNESS" "WITNESS"
] @keyword
[
(forall) (forall)
(exists) (exists)
(temporal_forall) (temporal_forall)
(temporal_exists) (temporal_exists)
(set_in) (set_in)
(def_eq)
(gets) (gets)
(maps_to)
(all_map_to)
(case_box) (case_box)
(case_arrow) (case_arrow)
(label_as) (label_as)
] @keyword
[
(def_eq)
(maps_to)
(all_map_to)
] @keyword.function ] @keyword.function
; Literals ; Literals