testsuite/tests/ghc-regress/typecheck/should_compile/tc041.hs


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

-- !!! a very simple test of class and instance declarations

module ShouldSucceed where

class H a where
 op1 :: a -> a -> a

instance H Bool where
 op1 x y = y

f :: Bool -> Int -> Bool
f x y = op1 x x