tests: remove extra_files.py (#12223)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail020.hs
1 module ShouldFail where
2
3 class A a where
4 p1 :: a -> a
5 p2 :: a -> a -> a
6
7 class (A b) => B b where
8 p3 :: b
9
10 instance (A a) => B [a] where
11 p3 = []
12
13 data X = XC --, causes stack dump
14
15 --instance B Bool where
16 -- p3 = True