Add first-class support for regions

effekt-lang · Jul 21, 2024 · 2a30140 · 2a30140
1 parent 4ae4bdb
commit 2a30140
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/syntaxes/effekt.tmLanguage.json b/syntaxes/effekt.tmLanguage.json
@@ -6,6 +6,7 @@
   "patterns": [
     { "include": "#comments" },
     { "include": "#definitions" },
+    { "include": "#regions" },
     { "include": "#keywords" },
     { "include": "#boxed_types" },
     { "include": "#literals" },
@@ -272,6 +273,15 @@
         "match": "=>",
         "name": "keyword.operator.arrow.effekt"
       }]
+    },
+    "regions": {
+      "patterns": [{
+        "match": "\\b(region)\\s+([a-zA-Z][a-zA-Z0-9_]*)\\b",
+        "captures": {
+          "1": { "name": "keyword.syntax.region.effekt" },
+          "2": { "name": "entity.name.region.effekt" }
+        }
+      }]
     }
   },
   "scopeName": "source.effekt"