testsuite/tests/typecheck/should_fail/tcfail020.hs


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

module ShouldFail where

class A a where
 p1 :: a -> a
 p2 :: a -> a -> a

class (A b) => B b where
 p3 :: b

instance (A a) => B [a] where
 p3 = []

data X = XC --, causes stack dump

--instance B Bool where
-- p3 = True