[project @ 1996-01-08 20:28:12 by partain]

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

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail056.hs b/ghc/compiler/tests/typecheck/should_fail/tcfail056.hs
new file mode 100644 (file)
index 0000000..6e15f2b
--- /dev/null
+++ b/ghc/compiler/tests/typecheck/should_fail/tcfail056.hs
@@ -0,0 +1,10 @@
+
+data Foo = MkFoo Bool
+
+instance Eq Foo where
+    (MkFoo x) == (MkFoo y) = x == y
+
+instance Eq Foo where
+    -- forgot to type "Ord" above
+    (MkFoo x) <= (MkFoo y) = x <= y
+