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

John van Groningen johnvg at cs.ru.nl
Mon Jul 22 15:32:58 MEST 2013


On 22-7-2013 11:59, zuurb078 at planet.nl wrote:
> So why is
> :: *Record = {field :: [*Char]}
>
> an accepted type?

In function types the compiler accepts [*Char], and changes this to 
*[*Char]. Unfortunately this is not implemented for (other) type
definitions. The compiler should reject this type, or add
a '*'. The current compiler accepts this useless type.

Kind regards,

John van Groningen



More information about the clean-list mailing list