From 25adfa02ca196b3792cfb8a5ec7d6eca941e8986 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Mon, 7 Aug 2006 14:31:02 +0000 Subject: [PATCH] add a comment --- compiler/parser/Lexer.x | 3 +++ 1 file changed, 3 insertions(+) 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 ] -- 1.7.10.4