From: Simon Marlow <simonmar@microsoft.com>
Date: Mon, 7 Aug 2006 14:31:02 +0000 (+0000)
Subject: add a comment
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=25adfa02ca196b3792cfb8a5ec7d6eca941e8986

add a comment
---

diff --git a/compiler/parser/Lexer.x b/compiler/parser/Lexer.x
index 8ef2071..0b02f41 100644
--- a/compiler/parser/Lexer.x
+++ b/compiler/parser/Lexer.x
@@ -588,6 +588,9 @@ reservedSymsFM = listToUFM $
        ,("→",   ITrarrow,	bit glaExtsBit)
        ,("←",   ITlarrow,	bit glaExtsBit)
        ,("⋯", 	ITdotdot,	bit glaExtsBit)
+        -- 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).
 #endif
        ]