From 15d521c9235831421e7278c4d3e1139e0d363ded Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ph=E1=BA=A1m=20Huy=20Ho=C3=A0ng?= <hoangtun0810@gmail.com>
Date: Wed, 28 Feb 2024 23:27:42 +0900
Subject: [PATCH] fix(purescript): comment out utf-8 char

---
 lockfile.json                     |  2 +-
 queries/purescript/highlights.scm | 12 ++++++------
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/lockfile.json b/lockfile.json
index c261031df..ce6aa9a08 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -519,7 +519,7 @@
     "revision": "3641b9e854ac9c84c7576e71c4c9a357bcfd9550"
   },
   "purescript": {
-    "revision": "2517b1ee2236353af761edbd22570f740f1603f1"
+    "revision": "daf9b3e2be18b0b2996a1281f7783e0d041d8b80"
   },
   "pymanifest": {
     "revision": "69ad424b5dd41088206bd74ebcdd61d987b7825c"
diff --git a/queries/purescript/highlights.scm b/queries/purescript/highlights.scm
index b241ba852..7f108df80 100644
--- a/queries/purescript/highlights.scm
+++ b/queries/purescript/highlights.scm
@@ -58,15 +58,15 @@
   "="
   "|"
   "::"
-  "∷"
+  ; "∷"
   "=>"
-  "⇒"
+  ; "⇒"
   "<="
-  "⇐"
+  ; "⇐"
   "->"
-  "→"
+  ; "→"
   "<-"
-  "←"
+  ; "←"
   "\\"
   "`"
   "@"
@@ -102,7 +102,7 @@
   "do"
   "ado"
   "forall"
-  "∀"
+  ; "∀" ; utf-8 is not cross-platform safe
   "infix"
   "infixl"
   "infixr"