
<HTML dir=ltr><HEAD><TITLE>Re: [clean-list] Matrix operations</TITLE>

<META content="text/html; charset=unicode" http-equiv=Content-Type>

<META name=GENERATOR content="MSHTML 9.00.8112.16484"></HEAD>

<BODY bgColor=#ffffff text=#000000>

<DIV dir=ltr id=idOWAReplyText10746>

<DIV dir=ltr><FONT color=#000000 size=2 face=Arial>So why is</FONT></DIV>

<DIV dir=ltr><FONT color=#000000 size=2 face=Arial>

<P>:: *Record = {field :: [*Char]}</P>

<P>an accepted type?</P></FONT></DIV></DIV>

<DIV dir=ltr id=idSignature83435>

<DIV RE>

<HR tabIndex=-1>

</DIV></DIV>

<DIV><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="" type="cite">

<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>_______________________________________________

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></DIV></BODY></HTML>