From 661c97c65e5fa47177502e592bb763f752b487ac Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Wed, 5 May 2010 12:12:02 +0000 Subject: [PATCH] Remove the Unicode alternative for ".." (#3894) --- compiler/parser/Lexer.x | 1 - docs/users_guide/glasgow_exts.xml | 8 -------- 2 files changed, 9 deletions(-) diff --git a/compiler/parser/Lexer.x b/compiler/parser/Lexer.x index 6cb2c3b..2493b21 100644 --- a/compiler/parser/Lexer.x +++ b/compiler/parser/Lexer.x @@ -701,7 +701,6 @@ reservedSymsFM = listToUFM $ explicitForallEnabled i) ,("→", ITrarrow, unicodeSyntaxEnabled) ,("←", ITlarrow, unicodeSyntaxEnabled) - ,("⋯", ITdotdot, unicodeSyntaxEnabled) ,("⤙", ITlarrowtail, \i -> unicodeSyntaxEnabled i && arrowsEnabled i) ,("⤚", ITrarrowtail, \i -> unicodeSyntaxEnabled i && arrowsEnabled i) diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 4b1c7a1..b7d43c9 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -400,14 +400,6 @@ Indeed, the bindings can even be recursive. LEFTWARDS ARROW - - - .. - - 0x22EF - MIDLINE HORIZONTAL ELLIPSIS - - -- 1.7.10.4