X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_succeed%2Ftc059.hs;fp=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_succeed%2Ftc059.hs;h=0000000000000000000000000000000000000000;hb=e3b67289ad773d37576e763704baaca6b83d74db;hp=f0faac8155968230cf6de449e1fc581906d87336;hpb=29b46083beaa048af4b4a68e8f96909ac98a639f;p=ghc-hetmet.git

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc059.hs b/ghc/compiler/tests/typecheck/should_succeed/tc059.hs
deleted file mode 100644
index f0faac8..0000000
--- a/ghc/compiler/tests/typecheck/should_succeed/tc059.hs
+++ /dev/null
@@ -1,15 +0,0 @@
-module ShouldSucceed where
-
-class Eq2 a where
- deq :: a -> a -> Bool
- foo :: a -> a
-
-instance Eq2 Int where
- deq x y = True
- foo x = x
-
-instance (Eq2 a) => Eq2 [a] where
- deq (a:as) (b:bs) = if (deq a (foo b)) then (deq as (foo bs)) else False
- foo x = x
-
-f x = deq x [1]