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

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