Commit 14c4090e authored by Committed by thomie
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
Showing with 5 additions and 5 deletions