[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 1ef8be5..43e80b8 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail047.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail047.stderr
@@ -1,8 +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