23 Oct
2011
23 Oct
'11
1:54 p.m.
On Sun, 23 Oct 2011 09:01:13 -0400 Brandon Allbery <allbery.b@gmail.com> wrote:
On Sun, Oct 23, 2011 at 08:52, Manfred Lotz <manfred.lotz@arcor.de> wrote:
Then I discovered System.IO.UTF8. However, when I use this as below then the output is garbled.
System.IO.UTF8 is intended for earlier versions of ghc which didn't support I/O encoding; if you use it with modern ghc you're likely to get things encoded twice, which will indeed be garbled.
Aah, ok. Then I may safely ignore System.IO.UTF8. -- Thanks, Manfred