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

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

diff --git a/ghc/tests/typecheck/should_compile/tc040.hs b/ghc/tests/typecheck/should_compile/tc040.hs
deleted file mode 100644 (file)
index 4897a2b..0000000
--- a/ghc/tests/typecheck/should_compile/tc040.hs
+++ /dev/null
@@ -1,9 +0,0 @@
-module ShouldSucceed where
-
--- !!! tests the deduction of contexts.
-
-f :: (Eq a) => a -> [a]
-
-f x = g x
-      where
-      g y = if (y == x) then [] else [y]