ghc6 behavior with circular instance declaration

Marcin 'Qrczak' Kowalczyk qrczak at
Thu Oct 23 14:37:45 EDT 2003

W liście z śro, 22-10-2003, godz. 06:15, Kenny pisze:

> instance (Myeq a,Myeq [a]) => Myeq [a] where
>     myeq (x:xs) (y:ys) = (myeq x y)&&(myeq xs ys)
> I want to make the 2nd call of myeq to be of an instance function
> from the context instead of a recursive call.

Why? Since there can be at most one Myeq [a] instance in a program,
this is the same.

   __("<         Marcin Kowalczyk
   \__/       qrczak at

More information about the Haskell mailing list