On 04-Aug-1998, Felix Schroeter <[EMAIL PROTECTED]> wrote:
> instance Eq t => Eq (Complexify t) where
>   (Complexify (r1,i1)) == (Complexify (r2,i2)) = (r1 == r2) && (i1 == i2)
>   (Complexify (r1,i1)) /= (Complexify (r2,i2)) = (r1 /= r2) && (i1 /= i2)

The second "&&" there should be "||".

Or better, just leave out the definition for "/=".
The default definition, which is

            x /= y      = not (x==y)

should work fine.

-- 
Fergus Henderson <[EMAIL PROTECTED]>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED]        |     -- the last words of T. S. Garp.


Reply via email to