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

   1 --!!! a very simple test of class and instance declarations
   2
   3 module ShouldSucceed where
   4
   5 class H a where
   6  op1 :: a -> a -> a
   7
   8 instance H Bool where
   9  op1 x y = y
  10
  11 f :: Bool -> Int -> Bool
  12 f x y = op1 x x