[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:  libraries/pretty  |                 Version:  7.10.2
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
                                     |  Unknown/Multiple
 Type of failure:  Other             |               Test Case:
      Blocked By:                    |                Blocking:
 Related Tickets:  10509             |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by Thomas Miedema <thomasmiedema@…>):

 In [changeset:"14c4090e384d9ac5bf434a8a77bbf552bf463023/ghc"
 14c4090e/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="14c4090e384d9ac5bf434a8a77bbf552bf463023"
 Pretty: fix unicode arrow operators.

 As per issue #10509, the 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. This replaces those characters with the
 correct versions.

 GHC Trac Issues: #10883
 }}}

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