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

#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 ): 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