So why is
:: *Record = {field :: [*Char]}
an accepted type?
________________________________
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, [email protected] wrote:
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
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list
_______________________________________________
clean-list mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list
