On Wed, 22 Jul 1998, S.D.Mechveliani wrote:
> Second, some compilers say at this:
> "
> (the instance type must be of form (T a b c)
> where T is not a synonym, and a,b,c are distinct type variables)
> "
> Maybe, they treat Int Int as a repeated variable?
That seems to be it. It seems that this is allowed:
> instance Eq (a->b) where x==y = True
But this is not allowed:
> instance Eq (a->a) where x==y = True
I guess this makes sense because if both were defined, the choice of
function would be ambiguous.
-Alex-
___________________________________________________________________
S. Alexander Jacobson i2x Media
1-212-697-0184 voice 1-212-697-1427 fax