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
