Re: [Haskell-cafe] Re: Justification for Ord inheriting from Eq?

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 ")-:"