[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: | 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
#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: -------------------------------------+------------------------------------- Changes (by zardoz): * Attachment "0001-Pretty-fix-unicode-arrow-operators.patch" added. Trivial patch. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10883 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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
#10883: Error messages referring to arrow operators use wrong symbols when outputting Unicode -------------------------------------+------------------------------------- Reporter: zardoz | Owner: Type: bug | Status: closed Priority: normal | Milestone: 8.0.1 Component: libraries/pretty | Version: 7.10.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: | ghci/scripts/T8959, | ghci/scripts/T8959b Blocked By: | Blocking: Related Tickets: #10509 | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * testcase: => ghci/scripts/T8959, ghci/scripts/T8959b * resolution: => fixed * related: 10509 => #10509 * milestone: => 8.0.1 Comment: Thanks! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10883#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC