Leave tope highlighting to language server

rzk-lang · Apr 2, 2024 · 508d9d3 · 508d9d3
1 parent 1486c24
commit 508d9d3
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 27 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
@@ -75,15 +75,15 @@ repository:
             patterns:
               - include: "#builtins"
   ext-type-topes:
-    patterns:
-      - match: ([^|]*)(\|->|↦)
-        captures:
-          "1":
-            name: string.interpolated.rzk
-            patterns:
-              - include: "#builtins"
-          "2":
-            name: keyword.operator.mapsto.rzk
+    patterns: []
+      # - match: ([^|]*)(\|->|↦)
+      #   captures:
+      #     "1":
+      #       name: string.interpolated.rzk
+      #       patterns:
+      #         - include: "#builtins"
+      #     "2":
+      #       name: keyword.operator.mapsto.rzk
   ext-types:
     patterns:
       - begin: \[