18 Nov
2008
18 Nov
'08
3:58 p.m.
On Tue, 2008-11-18 at 11:51 +0000, Ross Paterson wrote:
On Tue, Nov 18, 2008 at 10:30:01AM +0000, Malcolm Wallace wrote:
When the -XUnicodeSyntax option is specified, GHC accepts some Unicode characters including left/right arrows. Unfortunately, the letter "greek lambda" cannot be used. Are there any technical reasons to not accept it?
The "greek lambda" is a normal lower-case alphabetic character - it can be used in identifier names.
But it could be a reserved word synonymous with \. After all, \ can occur in operator symbols, but the operator \ is reserved.
Presumably that would let you do (\ x -> ...) but not (\x -> ) since the "\x" would run together and lexically it would be one identifier. Duncan