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

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

diff --git a/ghc/tests/typecheck/should_compile/tc090.hs b/ghc/tests/typecheck/should_compile/tc090.hs
deleted file mode 100644 (file)
index f568c39..0000000
--- a/ghc/tests/typecheck/should_compile/tc090.hs
+++ /dev/null
@@ -1,22 +0,0 @@
-{-     This module tests that we can ge polymorphic recursion
-       of overloaded functions.  GHC 2.02 produced the following
-       bogus error:
-
-       tmp.lhs:1: A group of type signatures have mismatched contexts
-                      Abf.a ::  (PrelBase.Ord f{-aX6-}) => ...
-                      Abf.b ::  (PrelBase.Ord f{-aX2-}) => ... 
-
-       This was due to having more than one type signature for one
-       group of recursive functions.
--}
-
-
-module ShouldSucceed where
-
-a :: (Ord f) => f 
-a = b
-
-b :: (Ord f) => f 
-b = a 
-
-