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

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

diff --git a/ghc/tests/typecheck/should_compile/tc079.hs b/ghc/tests/typecheck/should_compile/tc079.hs
deleted file mode 100644 (file)
index db07ad1..0000000
--- a/ghc/tests/typecheck/should_compile/tc079.hs
+++ /dev/null
@@ -1,16 +0,0 @@
--- !!! small class decl with local polymorphism;
--- !!! "easy" to check default methods and such...
--- !!! (this is the example given in TcClassDcl)
---
-module ShouldSucceed where
-
-class Foo a where
-    op1 :: a -> Bool
-    op2 :: Ord b => a -> b -> b -> b
-
-    op1 x = True
-    op2 x y z = if (op1 x) && (y < z) then y else z
-
-instance Foo Int where {}
-
-instance Foo a => Foo [a] where {}