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

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

diff --git a/ghc/tests/typecheck/should_compile/tc117.hs b/ghc/tests/typecheck/should_compile/tc117.hs
deleted file mode 100644 (file)
index d66cd34..0000000
--- a/ghc/tests/typecheck/should_compile/tc117.hs
+++ /dev/null
@@ -1,17 +0,0 @@
-{-# OPTIONS -fglasgow-exts #-}
-
--- !!! Functional dependencies
--- This one gave another fail in tcReadMutVar
-
-module M1 where
-
-class HasFoo a foo | a -> foo where
-    foo :: a -> foo
-instance HasFoo Int Int where
-    foo = id
-
-instance HasFoo a b => HasFoo [a] b where
-    foo = foo . head
-
-test:: [[Int]] -> Int
-test = foo