Fix part of #3398: pretty-printing always goes via the I/O library encoding
authorSimon Marlow <marlowsd@gmail.com>
Wed, 26 Aug 2009 10:40:52 +0000 (10:40 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 26 Aug 2009 10:40:52 +0000 (10:40 +0000)
commit3ce0e4990f5a40dd989435b41cad279d347a047d
tree3a06516c6215cb82f78efa4067fce3d4998ffa8d
parentd20d32d788e2d6c088e6b03776c428df5bb004d3
Fix part of #3398: pretty-printing always goes via the I/O library encoding
That is, unless we're printing in LeftMode, where we bypass encoding
for speed.  This is safe, because LeftMode is used for outputting C or
asm, where everyting is Z-encoded and hence ASCII.

Error messages and other compiler output containing Unicode will now
appear correctly according to the locale settings.
compiler/utils/Pretty.lhs