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

[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail071.hs

diff --git a/ghc/tests/typecheck/should_fail/tcfail071.hs b/ghc/tests/typecheck/should_fail/tcfail071.hs
deleted file mode 100644 (file)
index cadf1b5..0000000
--- a/ghc/tests/typecheck/should_fail/tcfail071.hs
+++ /dev/null
@@ -1,10 +0,0 @@
--- !!! Mis-matched contexts in a mutually recursive group
-
-module ShouldFail where
-
-f :: (Ord c) => c -> c
-f c = g c
-
-g :: c -> c
-g c = c
-  where p = foldr (f c) [] []