feat: Highlight types

ProVerif · Mar 2, 2024 · 256476c · 256476c
1 parent e077ac5
commit 256476c
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/syntaxes/pv.tmLanguage.json b/syntaxes/pv.tmLanguage.json
@@ -500,6 +500,12 @@
           "name": "constant.numeric.proverif"
         },
         { "include": "#new_decl" },
+        {
+          "match": ":\\s*([a-zA-Z0-9'_]+)",
+          "captures":{
+            "1": { "name": "entity.name.type.proverif" }
+          }
+        },
         {
           "begin": "\\(",
           "end": "\\)",