[clean-list] Question about uniqueness type error

[Diederik van Arkel]

On Sunday, November 2, 2003, at 10:51  PM, Jeremy Shaw wrote:

> Hello,
>
> I am getting a uniqueness error I can not explain when I try to
> combine type synonyms and classes. I can't figure out if I am
> misunderstanding something, or if it is a compiler bug.

Section 6.11 of the Clean Language Report states:

It is not allowed to use a type synonym as instance.

so it's not actually a bug. I would consider it a bug that the compiler
doesn't generate an error for this.

Regards,

Diederik van Arkel