aboutsummaryrefslogtreecommitdiff
path: root/runtime
diff options
context:
space:
mode:
authorpostsolar2023-09-20 22:26:40 +0000
committerGitHub2023-09-20 22:26:40 +0000
commit651fd1ca7296bce719049e15cc1337fd72d1c918 (patch)
treec02cbceb10f6a9fe83f2614b1523745b8b0be5fd /runtime
parent1c88432efc3724f60b27d580b8b490040a3048f6 (diff)
Add Unicode support to PureScript's highlight queries (#8338)
Diffstat (limited to 'runtime')
-rw-r--r--runtime/queries/purescript/highlights.scm4
1 files changed, 4 insertions, 0 deletions
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 @@
"="
"|"
"::"
+ "∷"
"=>"
+ "⇒"
"->"
+ "→"
"<-"
+ "←"
"\\"
"`"
"@"