ghc/compiler/tests/typecheck/should_succeed/tc077.hs


1
2
3
4
5
6
7
8
9

--!!! make sure context of EQ is minimised in interface file.
--
module M where

data NUM = ONE | TWO
class (Num a) => ORD a

class (ORD a, Text a) => EQ a where
	(===) :: a -> a -> Bool