testsuite/tests/deSugar/should_compile/ds026.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

-- !!! ds026 -- classes -- incl. polymorphic method

module ShouldCompile where

class Foo a where
  op :: a -> a

class Foo a => Boo a where
  op1 :: a -> a

class Boo a => Noo a where
  op2 :: (Eq b) => a -> b -> a

f x y = op (op2 x y)