Ticket #2978: MyPatch.patch

File MyPatch.patch, 1.1 KB (added by porges, 4 years ago)

patch

Line 
1diff -rN -u old-ghc/compiler/parser/Lexer.x new-ghc/compiler/parser/Lexer.x
2--- old-ghc/compiler/parser/Lexer.x     2009-01-25 21:51:11.000000000 +1300
3+++ new-ghc/compiler/parser/Lexer.x     2009-01-25 21:51:19.000000000 +1300
4@@ -728,6 +728,14 @@
5        ,("→",   ITrarrow, unicodeSyntaxEnabled)
6        ,("←",   ITlarrow, unicodeSyntaxEnabled)
7        ,("⋯",   ITdotdot, unicodeSyntaxEnabled)
8+       
9+       ,("’",   ITlarrowtail, \i -> unicodeSyntaxEnabled i && arrowsEnabled i)
10+       ,("‚",   ITrarrowtail, \i -> unicodeSyntaxEnabled i && arrowsEnabled i)
11+       ,("‛",   ITLarrowtail, \i -> unicodeSyntaxEnabled i && arrowsEnabled i)
12+       ,("“",   ITRarrowtail, \i -> unicodeSyntaxEnabled i && arrowsEnabled i)
13+       
14+       ,("â˜
15", ITstar, \i -> (kindSigsEnabled i || tyFamEnabled i) && unicodeSyntaxEnabled i)
16+       
17         -- ToDo: ideally, → and ∷ should be "specials", so that they cannot
18         -- form part of a large operator.  This would let us have a better
19         -- syntax for kinds: ɑ∷*→* would be a legal kind signature. (maybe).