Add support for more characters to UnicodeSyntax
Here is a short patch to add support for some more Unicode characters when GHC is used with the -XUnicodeSyntax extension.
- The following are enabled when used with Arrows:
-
⤙(LEFTWARDS ARROW-TAIL) =-< -
⤚(RIGHTWARDS ARROW-TAIL) =>- -
⤛(LEFTWARDS DOUBLE ARROW-TAIL) =-<< -
⤜(RIGHTWARDS DOUBLE ARROW-TAIL) =>>-
- 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(| |)
Trac metadata
| Trac field | Value |
|---|---|
| Version | 6.10.1 |
| Type | FeatureRequest |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |