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

[zuurb078 at planet.nl]

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, zuurb078 at planet.nl 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
	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/20130722/daa4c497/attachment.html>