ghc/compiler/tests/deSugar/ds026.hs

   1 --!!! ds026 -- classes -- incl. polymorphic method
   2
   3 module ShouldSucceed where
   4
   5 class Foo a where
   6   op :: a -> a
   7
   8 class Foo a => Boo a where
   9   op1 :: a -> a
  10
  11 class Boo a => Noo a where
  12   op2 :: (Eq b) => a -> b -> a
  13
  14 f x y = op (op2 x y)