30 Oct
2002
30 Oct
'02
5:25 p.m.
Dean Herington wrote:
Why is that expression not type-correct?
[Answering my own question...]
Duh. Because the type doesn't partake of Eq.
Right. Of course, it's a different kind of error than for example [Orange] == Orange --- where no Eq Color instance decl would help, and I wonder if there is a special name for it. Bye Christian Sievers