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

[zuurb078 at planet.nl]

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?

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