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

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

diff --git a/ghc/tests/typecheck/should_compile/tc114.hs b/ghc/tests/typecheck/should_compile/tc114.hs
deleted file mode 100644 (file)
index af8c3ca..0000000
--- a/ghc/tests/typecheck/should_compile/tc114.hs
+++ /dev/null
@@ -1,15 +0,0 @@
-{-# OPTIONS -fglasgow-exts #-}
-
--- !!! Functional dependencies
--- This broke an early impl of functional dependencies
-
-module ShouldCompile where
-
-class Foo r a | r -> a where
-    foo :: a -> r
-
-instance Foo (Maybe e) e where
-    foo = Just
-
-bad:: Num e => Maybe e
-bad = foo 0