
#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