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

[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail040.hs

diff --git a/ghc/tests/typecheck/should_fail/tcfail040.hs b/ghc/tests/typecheck/should_fail/tcfail040.hs
deleted file mode 100644 (file)
index 8ac06b3..0000000
--- a/ghc/tests/typecheck/should_fail/tcfail040.hs
+++ /dev/null
@@ -1,29 +0,0 @@
--- !!! instances of functions
---
-module ShouldFail where
-
-data NUM = ONE | TWO
-
-class EQ a where
-       (===) :: a -> a -> Bool
-
-class ORD a where
-       (<<) :: a -> a -> Bool
-       a << b = True
-
-instance EQ (a -> b) where
-       f === g = True
-
-instance ORD (a -> b)
-
-f = (<<) === (<<)
---f :: (EQ a,Num a) => a -> a -> Bool
-
-
-{-
-instance EQ NUM where
---     a /= b = False
-       a === b = True
---     a /= b = False
-
--}