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

   1 module ShouldSucceed where
   2
   3 class Eq' a where
   4  doubleeq :: a -> a -> Bool
   5
   6 class (Eq' a) => Ord' a where
   7  lt :: a -> a -> Bool
   8
   9 instance Eq' Int where
  10  doubleeq x y = True
  11
  12 instance Ord' Int where
  13  lt x y = True
  14
  15 f x y | lt x 1 = True
  16       | otherwise = False