diff options
| author | Sebastian Reuße <seb@wirrsal.net> | 2015-09-15 14:20:01 +0200 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2015-09-15 16:25:31 +0200 |
| commit | 14c4090e384d9ac5bf434a8a77bbf552bf463023 (patch) | |
| tree | dab79e94eb8263350e1884bbe0de414beb9fbaea /compiler/utils/Outputable.hs | |
| parent | 12b0bb6f15caa5b4b01d0330a7a8d23e3c10842c (diff) | |
| download | haskell-14c4090e384d9ac5bf434a8a77bbf552bf463023.tar.gz | |
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
Diffstat (limited to 'compiler/utils/Outputable.hs')
| -rw-r--r-- | compiler/utils/Outputable.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/utils/Outputable.hs b/compiler/utils/Outputable.hs index a4893b9bcd..a730cdfdcf 100644 --- a/compiler/utils/Outputable.hs +++ b/compiler/utils/Outputable.hs @@ -524,8 +524,8 @@ dcolon = unicodeSyntax (char '∷') (docToSDoc $ Pretty.ptext (sLit "::")) arrow = unicodeSyntax (char '→') (docToSDoc $ Pretty.ptext (sLit "->")) larrow = unicodeSyntax (char '←') (docToSDoc $ Pretty.ptext (sLit "<-")) darrow = unicodeSyntax (char '⇒') (docToSDoc $ Pretty.ptext (sLit "=>")) -arrowt = unicodeSyntax (char '↣') (docToSDoc $ Pretty.ptext (sLit ">-")) -larrowt = unicodeSyntax (char '↢') (docToSDoc $ Pretty.ptext (sLit "-<")) +arrowt = unicodeSyntax (char '⤚') (docToSDoc $ Pretty.ptext (sLit ">-")) +larrowt = unicodeSyntax (char '⤙') (docToSDoc $ Pretty.ptext (sLit "-<")) arrowtt = unicodeSyntax (char '⤜') (docToSDoc $ Pretty.ptext (sLit ">>-")) larrowtt = unicodeSyntax (char '⤛') (docToSDoc $ Pretty.ptext (sLit "-<<")) semi = docToSDoc $ Pretty.semi |