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

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

diff --git a/ghc/tests/typecheck/should_compile/tc088.hs b/ghc/tests/typecheck/should_compile/tc088.hs
deleted file mode 100644 (file)
index 05faeae..0000000
--- a/ghc/tests/typecheck/should_compile/tc088.hs
+++ /dev/null
@@ -1,19 +0,0 @@
--- Check that "->" is an instance of Eval
-
-module ShouldSucceed where
-
-instance Show (a->b)
-
-instance (Eq b) => Eq (a -> b) where
-       (==) f g = error "attempt to compare functions"
-
-       -- Since Eval is a superclass of Num this fails 
-       -- unless -> is an instance of Eval
-instance (Num b) => Num (a -> b) where
-    f + g                     =  \a -> f a + g a
-    f - g                     =  \a -> f a - g a
-    f * g                     =  \a -> f a * g a
-    negate f                  =  \a -> negate (f a)
-    abs f                     =  \a -> abs (f a)
-    signum f                  =  \a -> signum (f a)
-    fromInteger n             =  \a -> fromInteger n