[clean-list] how do I fill this record?

[Pieter Koopman]

Hi Erik,

your actual problem is the record type. You cannot have unique chars in 
a non-unique list. Try:

:: *Record = {field :: *[*Char]}

Start = {field = ['abc']}

Have fun,

Pieter

On 7/19/13 2:39 PM, zuurb078 at planet.nl wrote:
> Re: [clean-list] Matrix operations
>
> In Clean 2.4 on Windows, with the following accepted type:
>
> :: *Record = {field :: [*Char]}
>
> All of the following alternative start-rules ...
>
> Start = {field = []}
>
> Start = {field = ['x']}
>
> Start = {field = undef}
>
> ... result in the following uniqueness error message:
>
> "argument 1 of Record" attribute at position indicated by ^ could not 
> be coerced ^ *[*Char]
>
> I don't see why even undef would have a type that is not general enough.
>
> Does anybody have any idea how I could fill this record?
>
>
>
> _______________________________________________
> clean-list mailing list
> clean-list at science.ru.nl
> http://mailman.science.ru.nl/mailman/listinfo/clean-list

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.science.ru.nl/pipermail/clean-list/attachments/20130719/a5ba3124/attachment.html>