1 files changed, 0 insertions, 17 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/tc161.hs b/testsuite/tests/ghc-regress/typecheck/should_compile/tc161.hs
deleted file mode 100644
index 44f41a57b4..0000000000
--- a/testsuite/tests/ghc-regress/typecheck/should_compile/tc161.hs
+++ /dev/null
@@ -1,17 +0,0 @@
-{-# LANGUAGE Rank2Types #-}
--- Blew up GHC 5.04, with:
---    Ambiguous type variable(s) `q' in the constraint `Foo q'
---    arising from a function with an overloaded argument type at Foo.hs:7
---	Expected type: Int -> (forall q1. (Foo q1) => q1 -> a) -> a
---	Inferred type: Int -> (q -> a) -> a
---    In the application `GHC.Err.noMethodBindingError "Foo.hs:7|Foo.foo"#'
---
--- Fix is to give wild-card args to the default methods
--- See TcClassDcl.mkDefMethRhs
-
-module ShouldCompile where
-
-class Foo a where
-  op :: Eq c => c -> (forall b. Eq b => b->b) -> a -> a
-
-instance Foo Int