forked from isovector/thinking-with-types
-
Notifications
You must be signed in to change notification settings - Fork 0
/
pygments.diff
21 lines (21 loc) · 1.04 KB
/
pygments.diff
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
diff -r 7941677dc77d pygments/lexers/haskell.py
--- a/pygments/lexers/haskell.py Mon Mar 13 19:16:03 2017 +0000
+++ b/pygments/lexers/haskell.py Sat Sep 08 15:27:18 2018 -0400
@@ -66,6 +66,7 @@
(r"(')[" + uni.Lu + r"][\w\']*", Keyword.Type),
(r"(')\[[^\]]*\]", Keyword.Type), # tuples and lists get special treatment in GHC
(r"(')\([^)]*\)", Keyword.Type), # ..
+ (r"(')[:!#$%&*+.\\/<=>?@^|~-]+", Keyword.Type), # promoted type operators
# Operators
(r'\\(?![:!#$%&*+.\\/<=>?@^|~-]+)', Name.Function), # lambda operator
(r'(<-|::|->|=>|=)(?![:!#$%&*+.\\/<=>?@^|~-]+)', Operator.Word), # specials
diff -r 7941677dc77d tests/examplefiles/example.hs
--- a/tests/examplefiles/example.hs Mon Mar 13 19:16:03 2017 +0000
+++ b/tests/examplefiles/example.hs Sat Sep 08 15:27:18 2018 -0400
@@ -39,3 +39,7 @@
type IntChar = '[Int, Char]
type Falsy = 'False
type Falsy = '(10, 20, 30)
+type EmptyList = '[]
+type TypeCons = 1 ': '[]
+type Times = 1 '* 2