Use unicode quote characters in error messages etc; fixes #2507
authorIan Lynagh <ian@well-typed.com>
Sun, 24 Feb 2013 00:26:07 +0000 (00:26 +0000)
committerIan Lynagh <ian@well-typed.com>
Sun, 24 Feb 2013 00:26:07 +0000 (00:26 +0000)
commite2bea6019fd523d4b6061174b114c49f55fa981c
tree39fdc07fa029372343e888908686926fa07116a7
parent085e8145f63c8f42d8bc19cd3cff52b8cd5b6455
Use unicode quote characters in error messages etc; fixes #2507

We only use the unicode characters if the locale supports them.
compiler/main/DynFlags.hs
compiler/main/DynFlags.hs-boot
compiler/utils/Outputable.lhs