[project @ 1997-11-10 17:06:45 by simonm]

add test for declarations of non-existent methods

ghc/tests/typecheck/should_fail/tcfail077.hs

+module ShouldFail where
+
+--!!! declaring a default method in a class that doesn't have that method.
+
+class Foo a where
+  op :: a -> a
+
+  op2 x = x	-- Bogus declaration

ghc/tests/typecheck/should_fail/tcfail077.stderr

+ 
+tcfail077.hs:8: Class `Foo' does not have a method `op2'
+
+Compilation had errors