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

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc050.hs b/ghc/compiler/tests/typecheck/should_succeed/tc050.hs
deleted file mode 100644
index ef03b28..0000000
--- a/ghc/compiler/tests/typecheck/should_succeed/tc050.hs
+++ /dev/null
@@ -1,23 +0,0 @@
-module ShouldSucceed where
-
-class Foo a where
- o_and :: a -> a -> a
-
-
-instance Foo Bool where
- o_and False x = False
- o_and x False = False
- o_and True True = True
-
-
-instance Foo Int where
- o_and x 0 = 0
- o_and 0 x = 0
- o_and 1 1 = 1
-
-
-f x y = o_and x False
-
-g x y = o_and x 1
-
-