[project @ 1997-07-31 00:05:10 by sof]

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

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc088.hs b/ghc/compiler/tests/typecheck/should_succeed/tc088.hs
deleted file mode 100644 (file)
index e1b8b88..0000000
--- a/ghc/compiler/tests/typecheck/should_succeed/tc088.hs
+++ /dev/null
@@ -1,18 +0,0 @@
--- Check that "->" is an instance of Eval
-
-module Foo where
-
-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
-    fromInt n                 =  \a -> fromInt n