<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>

  <meta content="text/html;charset=UTF-8" http-equiv="Content-Type">

</head>

<body bgcolor="#ffffff" text="#000000">

Ketil Malde wrote:

<blockquote cite="mid:87abmwkh8a.fsf@nmd9999.imr.no" type="cite">

  <blockquote type="cite">

    <pre wrap="">So let's all switch to unicode ASAP and leave that horrible

multi-byte-string-thing behind us?

    </pre>

  </blockquote>

  <pre wrap=""><!---->

You are being ironic, I take it?

  </pre>

</blockquote>

No I just used wrong terminology. When I said unicode, I actually meant

UCS-x, and with multi-byte-string-thing I meant VARIABLE-length, sorry

about that. I find variable length chars so much harder to use and

reason about than the fixed length characters. UTF-x is a form of

compression, which is understandable, but it is IMHO a burden (since it

does not allow random access to the n-th character)<br>

<br>

Now I'm getting a bit confused here. To summarize, what encoding does

GHC 6.8.2 use for [Char]? UCS-32? <br>

<br>

BTW: According the Wikipedia, UCS-4 and UTF-32 are functionally

equivalent.<br>

<br>

Cheers,<br>

Peter<br>

<br>

</body>

</html>