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