From 508d9d31d2e154cbfeffc74eb43e3397d04f8c26 Mon Sep 17 00:00:00 2001
From: Nikolai Kudasov <nickolay.kudasov@gmail.com>
Date: Tue, 2 Apr 2024 10:40:11 +0300
Subject: [PATCH] Leave tope highlighting to language server

---
 syntaxes/rzk.tmLanguage.json | 19 +------------------
 syntaxes/rzk.tmLanguage.yml  | 18 +++++++++---------
 2 files changed, 10 insertions(+), 27 deletions(-)

diff --git a/syntaxes/rzk.tmLanguage.json b/syntaxes/rzk.tmLanguage.json
index 0c026cb..09ebf1c 100644
--- 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
index b59d051..e841840 100644
--- 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: \[