<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><font size="4">Hi, <br>
</font></p>
<p><font size="4">Is it the expected behavior to have quoted
included when asking printString to a String ?</font></p>
<p><font size="4">'Toto' printString </font></p>
<p><font size="4">=> '''Toto''' .</font></p>
<p><font size="4"><br>
</font></p>
<p><font size="4">Using #asString solves this issue but not exactly
the same semantic<br>
</font></p>
<p><font size="4"><br>
</font></p>
<pre class="moz-signature" cols="72">--
<a class="moz-txt-link-freetext" href="http://mamot.fr/@drgeo">http://mamot.fr/@drgeo</a></pre>
</body>
</html>