blob: b262f47d381283f401927b9b47788435d30fccf8 (
plain)
1
2
3
4
5
6
7
8
9
10
|
-- !!! class/instance mumble that failed Lint at one time
--
module ShouldCompile where
class Foo a where
op :: Int -> a -> Bool
data Wibble a b c = MkWibble a b c
instance (Foo a, Foo b, Foo c) => Foo (Wibble a b c) where
op x y = error "xxx"
|