From 64d2110d4a1b803841965b7bcc8d51efd1f66a1d Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Fri, 18 Sep 2009 13:03:33 +0000 Subject: [PATCH] Apply patch from #2978: add more Unicode syntax --- compiler/parser/Lexer.x | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/compiler/parser/Lexer.x b/compiler/parser/Lexer.x index 09b58dd..de0ccb6 100644 --- a/compiler/parser/Lexer.x +++ b/compiler/parser/Lexer.x @@ -702,6 +702,14 @@ reservedSymsFM = listToUFM $ ,("→", ITrarrow, unicodeSyntaxEnabled) ,("←", ITlarrow, unicodeSyntaxEnabled) ,("⋯", ITdotdot, unicodeSyntaxEnabled) + + ,("⤙", ITlarrowtail, \i -> unicodeSyntaxEnabled i && arrowsEnabled i) + ,("⤚", ITrarrowtail, \i -> unicodeSyntaxEnabled i && arrowsEnabled i) + ,("⤛", ITLarrowtail, \i -> unicodeSyntaxEnabled i && arrowsEnabled i) + ,("⤜", ITRarrowtail, \i -> unicodeSyntaxEnabled i && arrowsEnabled i) + + ,("★", ITstar, unicodeSyntaxEnabled) + -- ToDo: ideally, → and ∷ should be "specials", so that they cannot -- form part of a large operator. This would let us have a better -- syntax for kinds: ɑ∷*→* would be a legal kind signature. (maybe). -- 1.7.10.4