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

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

diff --git a/ghc/tests/typecheck/should_compile/tc115.hs b/ghc/tests/typecheck/should_compile/tc115.hs
deleted file mode 100644 (file)
index 0a12db9..0000000
--- a/ghc/tests/typecheck/should_compile/tc115.hs
+++ /dev/null
@@ -1,18 +0,0 @@
-{-# OPTIONS -fglasgow-exts #-}
-
--- !!! Functional dependencies
--- This broke an early impl of functional dependencies
--- (complaining about ambiguity)
-
-module ShouldCompile where
-
-class Foo r a | r -> a where
-    foo :: r -> a
-
-instance Foo [m a] (m a)
-
-bad:: Monad m => m a
-bad = foo bar
-
-bar:: Monad m => [m a]
-bar = []