Merge pull request #71 from rzk-lang/fix-nested-ext-types-highlighting

Leave tope highlighting to language server
rzk-lang · Apr 2, 2024 · ec26ac5 · ec26ac5
2 parents 54a8766 + 5a549d5
commit ec26ac5
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 26 deletions.
diff --git a/syntaxes/rzk.tmLanguage.json b/syntaxes/rzk.tmLanguage.json
@@ -151,24 +151,7 @@
       ]
     },
     "ext-type-topes": {
-      "patterns": [
-        {
-          "match": "([^|]*)(\\|->|↦)",
-          "captures": {
-            "1": {
-              "name": "string.interpolated.rzk",
-              "patterns": [
-                {
-                  "include": "#builtins"
-                }
-              ]
-            },
-            "2": {
-              "name": "keyword.operator.mapsto.rzk"
-            }
-          }
-        }
-      ]
+      "patterns": []
     },
     "ext-types": {
       "patterns": [

diff --git a/syntaxes/rzk.tmLanguage.yml b/syntaxes/rzk.tmLanguage.yml
@@ -76,14 +76,15 @@ repository:
               - include: "#builtins"
   ext-type-topes:
     patterns:
-      - match: ([^|]*)(\|->|↦)
-        captures:
-          "1":
-            name: string.interpolated.rzk
-            patterns:
-              - include: "#builtins"
-          "2":
-            name: keyword.operator.mapsto.rzk
+      []
+      # - match: ([^|]*)(\|->|↦)
+      #   captures:
+      #     "1":
+      #       name: string.interpolated.rzk
+      #       patterns:
+      #         - include: "#builtins"
+      #     "2":
+      #       name: keyword.operator.mapsto.rzk
   ext-types:
     patterns:
       - begin: \[