From 651fd1ca7296bce719049e15cc1337fd72d1c918 Mon Sep 17 00:00:00 2001
From: postsolar <120750161+postsolar@users.noreply.github.com>
Date: Thu, 21 Sep 2023 01:26:40 +0300
Subject: [PATCH] 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 bbfdf16e7..86deb48f6 100644
--- a/runtime/queries/purescript/highlights.scm
+++ b/runtime/queries/purescript/highlights.scm
@@ -56,9 +56,13 @@
    "="
    "|"
    "::"
+   "∷"
    "=>"
+   "⇒"
    "->"
+   "→"
    "<-"
+   "←"
    "\\"
    "`"
    "@"