[project @ 1998-02-03 11:24:18 by simonm]

[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail047.stderr

diff --git a/ghc/tests/typecheck/should_fail/tcfail047.stderr b/ghc/tests/typecheck/should_fail/tcfail047.stderr
index 6df94a6..43e80b8 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail047.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail047.stderr
@@ -1,7 +1,8 @@
  
-tcfail047.hs:6: The type `(a, (b, c))' cannot be used as an instance type
- 
-tcfail047.hs:2: Module Main must include a definition for `Main.main'
+tcfail047.hs:7:
+    Illegal instance declaration for `A (a, (b, c))'
+       (the instance type must be of form (T a b c)
+        where T is not a synonym, and a,b,c are distinct type variables)
 
 
 Compilation had errors