[GHC] #9119: Additional symbols for XUnicodeSyntax

[GHC]

#9119: Additional symbols for XUnicodeSyntax
-------------------------------------------+-------------------------------
       Reporter:  spacekitteh              |             Owner:
           Type:  feature request          |            Status:  new
       Priority:  normal                   |         Milestone:
      Component:  Compiler (Parser)        |           Version:  7.8.2
       Keywords:  unicode                  |  Operating System:
   Architecture:  Unknown/Multiple         |  Unknown/Multiple
     Difficulty:  Easy (less than 1 hour)  |   Type of failure:
     Blocked By:                           |  None/Unknown
Related Tickets:                           |         Test Case:
                                           |          Blocking:
-------------------------------------------+-------------------------------
 So, one of the things I love about Haskell is how relatively
 mathematically friendly it is. To that end, I propose the following
 additional unicode operators be added to XUnicodeSyntax:

 "⊦ p → x" for "let p in x"

 "≝" "≜" "≛" "≚" "≙" "≟" "⇔" "≐" "≞" be added as synonyms for "="

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9119>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler