> given an Ord instance (for a type T) a corresponding Eq instance can be > given by: > > instance Eq T where > a == b = compare a b == EQ
where did this second -----^ == come from? (I guess if if Ordering derives Eq :-) I think you meant > instance (Ord T) => Eq T where > a == b = case compare a b of > EQ -> True > _ -> False Cheers, Jared. -- http://www.updike.org/~jared/ reverse ")-:" _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe