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

[ghc-hetmet.git] / ghc / tests / typecheck / should_run / tcrun009.hs

diff --git a/ghc/tests/typecheck/should_run/tcrun009.hs b/ghc/tests/typecheck/should_run/tcrun009.hs
deleted file mode 100644 (file)
index 328614f..0000000
--- a/ghc/tests/typecheck/should_run/tcrun009.hs
+++ /dev/null
@@ -1,25 +0,0 @@
-{-# OPTIONS -fglasgow-exts #-}
-
--- !!! Functional dependencies
-
-module Main where
-
-class Foo a b | a -> b where
-    foo :: a -> b
-
-instance Foo [a] (Maybe a) where
-    foo []    = Nothing
-    foo (x:_) = Just x
-
-instance Foo (Maybe a) [a] where
-    foo Nothing  = []
-    foo (Just x) = [x]
-
-test3:: [a] -> [b]
-test3 = foo . foo
--- First foo must use the first instance,
--- second must use the second.  So we should
--- get in effect:      test3 (x:xs) = [x]
-
-main:: IO ()
-main = print (test3 "foo" :: [Int])