From 651fd1ca7296bce719049e15cc1337fd72d1c918 Mon Sep 17 00:00:00 2001
From: postsolar
Date: Thu, 21 Sep 2023 01:26:40 +0300
Subject: Add Unicode support to PureScript's highlight queries (#8338)

---
 runtime/queries/purescript/highlights.scm | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/runtime/queries/purescript/highlights.scm b/runtime/queries/purescript/highlights.scm
index bbfdf16e..86deb48f 100644
--- a/runtime/queries/purescript/highlights.scm
+++ b/runtime/queries/purescript/highlights.scm
@@ -56,9 +56,13 @@
    "="
    "|"
    "::"
+   "∷"
    "=>"
+   "⇒"
    "->"
+   "→"
    "<-"
+   "←"
    "\\"
    "`"
    "@"
-- 
cgit v1.2.3-70-g09d2