Support type args in type decls and user types

kind2-mc · Jul 31, 2024 · 439fe1d · 439fe1d
1 parent e160ea6
commit 439fe1d
Showing 1 changed file with 29 additions and 12 deletions.
diff --git a/syntaxes/lustre.tmLanguage.json b/syntaxes/lustre.tmLanguage.json
@@ -480,8 +480,19 @@
         },
         {
           "comment": "User-defined type.",
-          "name": "support.type.lustre",
-          "match": "\\w+"
+          "match": "(\\w+)\\s*(<<[^>]+>>)?",
+          "captures": { 
+            "1" : {
+              "name": "support.type.lustre"
+            },
+            "2" : {
+              "patterns": [
+                {
+                  "include": "#type"
+                }
+              ]
+            }
+          }
         }
       ]
     },
@@ -547,16 +558,7 @@
           "match": "\\w+"
         },
         {
-          "begin": "<<",
-          "end": ">>",
-          "patterns": [
-            {
-              "include": "#type"
-            },
-            {
-              "include": "#comment"
-            }
-          ]
+          "include": "#typeArgs"
         },
         {
           "begin": "\\(",
@@ -1068,6 +1070,18 @@
         }
       ]
     },
+    "typeArgs": {
+      "begin": "<<",
+      "end": ">>",
+      "patterns": [
+        {
+          "include": "#type"
+        },
+        {
+          "include": "#comment"
+        }
+      ]
+    },
     "typeDeclRhs": {
       "patterns": [
         {
@@ -1147,6 +1161,9 @@
           "name": "support.type.lustre",
           "match": "\\w+"
         },
+        {
+          "include": "#typeArgs"
+        },
         {
           "begin": "=",
           "end": "(?=;)",