[GHC] #10883: Error messages referring to arrow operators use wrong symbols when outputting Unicode

[GHC]

#10883: Error messages referring to arrow operators use wrong symbols when
outputting Unicode
-------------------------------------+-------------------------------------
              Reporter:  zardoz      |             Owner:
                  Type:  bug         |            Status:  new
              Priority:  normal      |         Milestone:
             Component:              |           Version:  7.10.2
  libraries/pretty                   |
              Keywords:              |  Operating System:  Unknown/Multiple
          Architecture:              |   Type of failure:  Other
  Unknown/Multiple                   |
             Test Case:              |        Blocked By:
              Blocking:              |   Related Tickets:  10509
Differential Revisions:              |
-------------------------------------+-------------------------------------
 As per #10509, GHC documentation gave the wrong glyphs for Unicode
 alternatives to the -< and >- arrow operators (the codepoints were
 correct, but the glyphs were not). The incorrect glyphs have also
 made it into the error output.

 So, in GHC error messages, we see something like the following:

     …
     In the command: arr (+ 2) ↢ x
     …

 Where ↢ should actually be ⤙. The alternative to >- is also incorrectly
 printed.

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