23 Jan
2008
23 Jan
'08
5:59 a.m.
On Jan 23, 2008 11:56 AM, Jules Bean
Peter Verswyvelen wrote:
Now I'm getting a bit confused here. To summarize, what encoding does GHC 6.8.2 use for [Char]? UCS-32?
[snip]
What *does* matter to the programmer is what encodings putStr and getLine use. AFAIK, they use "lower 8 bits of unicode code point" which is almost functionally equivalent to latin-1.
Which is terrible! You should have to be explicit about what encoding you expect. Python 3000 does it right. -- Johan