testsuite/tests/ghc-regress/typecheck/should_fail/tcfail001.hs


1
2
3
4
5
6
7
8
9

-- !!! This should fail with a type error: the instance method
-- !!! has a function type when it should have the type [a].
module ShouldFail where

class A a where
 op :: a

instance (A a, A a) => A [a] where
 op [] = []