[project @ 2001-08-22 12:24:41 by simonmar]

[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc053.hs

diff --git a/ghc/tests/typecheck/should_compile/tc053.hs b/ghc/tests/typecheck/should_compile/tc053.hs
deleted file mode 100644 (file)
index 865211d..0000000
--- a/ghc/tests/typecheck/should_compile/tc053.hs
+++ /dev/null
@@ -1,12 +0,0 @@
-module ShouldSucceed where
-
-class Eq' a where
- deq :: a -> a -> Bool
-
-instance Eq' Int where
- deq x y = True
-
-instance (Eq' a) => Eq' [a] where
- deq (a:as) (b:bs) = if (deq a b) then (deq as bs) else False
-
-f x = deq x [1]