ghc/tests/typecheck/should_compile/tc051.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 (Eq' a) => Eq' [a] where
  13  doubleeq x y = True
  14
  15 instance Ord' Int where
  16  lt x y = True
  17
  18 {-
  19 class (Ord a) => Ix a where
  20  range :: (a,a) -> [a]
  21
  22 instance Ix Int where
  23  range (x,y) = [x,y]
  24 -}
  25
  26
  27
  28
  29
  30