On 22-7-2013 11:59, [email protected] 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

_______________________________________________
clean-list mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list

Reply via email to