∀ is a keyword and alias for forall in PureScript

PrismJS · Jul 23, 2021 · 8e72dd0 · 8e72dd0
1 parent 9c8911b
commit 8e72dd0
Show file tree

Hide file tree

Showing 3 changed files with 24 additions and 22 deletions.
diff --git a/components/prism-purescript.js b/components/prism-purescript.js
@@ -1,5 +1,5 @@
 Prism.languages.purescript = Prism.languages.extend('haskell', {
-	'keyword': /\b(?:ado|case|class|data|derive|do|else|forall|if|in|infixl|infixr|instance|let|module|newtype|of|primitive|then|type|where)\b/,
+	'keyword': /\b(?:ado|case|class|data|derive|do|else|forall|if|in|infixl|infixr|instance|let|module|newtype|of|primitive|then|type|where)\b|∀/,
 
 	'import-statement': {
 		// The imported or hidden names are not included in this import

diff --git a/components/prism-purescript.min.js b/components/prism-purescript.min.js
diff --git a/tests/languages/purescript/keyword_feature.test b/tests/languages/purescript/keyword_feature.test
@@ -18,30 +18,32 @@ primitive
 then
 type
 where
+∀
 
 ----------------------------------------------------
 
 [
-  ["keyword", "ado"],
-  ["keyword", "case"],
-  ["keyword", "class"],
-  ["keyword", "data"],
-  ["keyword", "derive"],
-  ["keyword", "do"],
-  ["keyword", "else"],
-  ["keyword", "if"],
-  ["keyword", "in"],
-  ["keyword", "infixl"],
-  ["keyword", "infixr"],
-  ["keyword", "instance"],
-  ["keyword", "let"],
-  ["keyword", "module"],
-  ["keyword", "newtype"],
-  ["keyword", "of"],
-  ["keyword", "primitive"],
-  ["keyword", "then"],
-  ["keyword", "type"],
-  ["keyword", "where"]
+	["keyword", "ado"],
+	["keyword", "case"],
+	["keyword", "class"],
+	["keyword", "data"],
+	["keyword", "derive"],
+	["keyword", "do"],
+	["keyword", "else"],
+	["keyword", "if"],
+	["keyword", "in"],
+	["keyword", "infixl"],
+	["keyword", "infixr"],
+	["keyword", "instance"],
+	["keyword", "let"],
+	["keyword", "module"],
+	["keyword", "newtype"],
+	["keyword", "of"],
+	["keyword", "primitive"],
+	["keyword", "then"],
+	["keyword", "type"],
+	["keyword", "where"],
+	["keyword", "∀"]
 ]
 
 ----------------------------------------------------