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

<html>

<head>

  <meta content="text/html; charset=ISO-8859-1"

 http-equiv="Content-Type">

</head>

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

On 02/01/2010 12:26 PM, Marco van de Voort wrote:<br>

<blockquote cite="mid:20100201112601.99F22228D0@snail.stack.nl"

 type="cite">

  <pre wrap="">Daniel touches the main problem. The string type is compiletime, while the

standard encoding is runtime.

  </pre>

</blockquote>

<font face="Helvetica, Arial, sans-serif">I do see this (that is why I 

said "If possible", even if I have no idea about what impact this has. <br>

<br>

Maybe it could be possible to find a way to invent a "one-time

conversion" for this class of strings: The first time they are touched

they get converted and the next time they are already in place

correctly.<br>

<br>

-Michael<br>

</font>

</body>

</html>