testsuite/tests/ghc-regress/typecheck/should_compile/tc077.hs


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