testsuite/tests/rename/should_fail/rnfail008.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

-- !!! Class and instance decl

module Test where

class K a where
	op1 :: a -> a -> a
	op2 :: Int -> a

instance K Int where
	op1 a b = a+b
	op2 x   = x

instance K Bool where
	op1 a b = a
	-- Pick up the default decl for op2
	
instance K [a] where
	op3 a = a	-- Oops!  Isn't a class op of K