#2978: Add support for more characters to UnicodeSyntax
-----------------------------+----------------------------------------------
Reporter: porges | Owner:
Type: feature request | Status: new
Priority: normal | Component: Compiler
Version: 6.10.1 | Severity: normal
Keywords: | Testcase:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
-----------------------------+----------------------------------------------
Here is a short patch to add support for some more Unicode characters when
GHC is used with the -XUnicodeSyntax extension.
1. The following are enabled when used with Arrows:
* `⤙` (LEFTWARDS ARROW-TAIL) = `-<`
* `⤚` (RIGHTWARDS ARROW-TAIL) = `>-`
* `⤛` (LEFTWARDS DOUBLE ARROW-TAIL) = `-<<`
* `⤜` (RIGHTWARDS DOUBLE ARROW-TAIL) = `>>-`
2. The star '`★`' is allowed instead of '`*`' in kind signatures.
I would also like to propose a couple of changes that I have been unable
to figure out how to implement myself (I tried adding them to Lexer.x but
this had no effect). They all follow a similar theme:
* For TemplateHaskell: `⟦ ⟧` (MATHEMATICAL _ WHITE SQUARE BRACKET) can be
used instead of `[| |]`
* For Generics: `⦃ ⦄` (_ WHITE CURLY BRACKET) can be used instead of `{|
|}`
* For Arrows: `⦇ ⦈` (Z NOTATION _ IMAGE BRACKET) can be used instead of
`(| |)`
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2978>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
