<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<font size="-1"><font face="Helvetica, Arial, sans-serif">Hi Erik,<br>
<br>
<font size="-1">your actual problem is the rec<font size="-1">ord</font>
type. You cannot have unique chars in a non-unique list. Try:<br>
<br>
<font size="-1">:: *Record = {field :: *[*Char]}<br>
<br>
Start = {field = ['abc']}<br>
<br>
<font size="-1">Have fun,<br>
<br>
<font size="-1">Pieter</font><br>
</font></font><br>
</font></font></font>
<div class="moz-cite-prefix">On 7/19/13 2:39 PM, <a class="moz-txt-link-abbreviated" href="mailto:zuurb078@planet.nl">zuurb078@planet.nl</a>
wrote:<br>
</div>
<blockquote
cite="mid:CADF5EBE816E3442BA4BF7F7BB8978531F747E50@CPEXBE-EML19.kpnsp.local"
type="cite">
<title>Re: [clean-list] Matrix operations</title>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
<meta name="GENERATOR" content="MSHTML 9.00.8112.16484">
<p>In Clean 2.4 on Windows, with the following accepted type:</p>
<p>:: *Record = {field :: [*Char]}</p>
<p>All of the following alternative start-rules ...</p>
<p>Start = {field = []}</p>
<p>Start = {field = ['x']}</p>
<p>Start = {field = undef}</p>
<p>... result in the following uniqueness error message:</p>
<p>"argument 1 of Record" attribute at position indicated by ^
could not be coerced ^ *[*Char]</p>
<p>I don't see why even undef would have a type that is not
general enough.</p>
<p>Does anybody have any idea how I could fill this record?</p>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
clean-list mailing list
<a class="moz-txt-link-abbreviated" href="mailto:clean-list@science.ru.nl">clean-list@science.ru.nl</a>
<a class="moz-txt-link-freetext" href="http://mailman.science.ru.nl/mailman/listinfo/clean-list">http://mailman.science.ru.nl/mailman/listinfo/clean-list</a>
</pre>
</blockquote>
<br>
</body>
</html>