blob: c4f6c4e986d9663d0d9c11af68ae907052b39f61 (
plain)
1
2
3
4
5
6
7
8
9
|
-- !!! make sure context of EQ is minimised in interface file.
--
module ShouldSucceed where
data NUM = ONE | TWO
class (Num a) => ORD a
class (ORD a, Show a) => EQ a where
(===) :: a -> a -> Bool
|