Opened 2 years ago

Closed 2 years ago

#10883 closed bug (fixed)

Error messages referring to arrow operators use wrong symbols when outputting Unicode

Reported by: zardoz Owned by:
Priority: normal Milestone: 8.0.1
Component: libraries/pretty Version: 7.10.2
Keywords: Cc:
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 Rev(s):
Wiki Page:

Description

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.

Attachments (1)

0001-Pretty-fix-unicode-arrow-operators.patch (2.9 KB) - added by zardoz 2 years ago.
Trivial patch.

Download all attachments as: .zip

Change History (3)

Changed 2 years ago by zardoz

Trivial patch.

comment:1 Changed 2 years ago by Thomas Miedema <thomasmiedema@…>

In 14c4090e/ghc:

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

comment:2 Changed 2 years ago by thomie

Milestone: 8.0.1
Resolution: fixed
Status: newclosed
Test Case: ghci/scripts/T8959, ghci/scripts/T8959b

Thanks!

Note: See TracTickets for help on using tickets.