Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail121.hs
index 86c2a92..84966c4 100644 (file)
@@ -1,13 +1,13 @@
 
-{-# LANGUAGE OverlappingInstances, FlexibleInstances #-}
+{-# LANGUAGE FlexibleInstances #-}
 
 module ShouldFail where
 
 class Foo a where
   op :: a -> a
 
-instance Foo a => Foo [a] 
-instance Foo [Int]
+instance {-# OVERLAPPABLE #-} Foo a => Foo [a] 
+instance {-# OVERLAPPING #-} Foo [Int]
 
 foo :: Foo a => [a] -> [a]
 foo x = op x