From: rrt <unknown>
Date: Thu, 17 Aug 2000 11:22:33 +0000 (+0000)
Subject: [project @ 2000-08-17 11:22:33 by rrt]
X-Git-Tag: Approximately_9120_patches~3880
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=b3f3a879272838063b643950ac7f25891ec267c8;p=ghc-hetmet.git

[project @ 2000-08-17 11:22:33 by rrt]
Updated error message.
---

diff --git a/ghc/tests/rename/should_fail/rnfail014.stderr b/ghc/tests/rename/should_fail/rnfail014.stderr
index 700fdec..efa87ae 100644
--- a/ghc/tests/rename/should_fail/rnfail014.stderr
+++ b/ghc/tests/rename/should_fail/rnfail014.stderr
@@ -1,13 +1,20 @@
 
 rnfail014.hs:8:
     Ambiguous constraint `Eq a'
-	for the type: {Eq Bool}
-	Each forall'd type variable mentioned by the constraint must appear after the =>
+	in the type: Eq Bool
+	Each forall-d type variable mentioned by the constraint must appear after the =>.
+    In the type signature for an instance decl
 
 rnfail014.hs:12:
     Ambiguous constraint `Eq a'
-	for the type: Int -> Int
-	Each forall'd type variable mentioned by the constraint must appear after the =>
+	in the type: Int -> Int
+	Each forall-d type variable mentioned by the constraint must appear after the =>.
+    In the type signature for `f'
+
+rnfail014.hs:17:
+    All of the type variable(s) in the constraint `Eq a' are already in scope
+	At least one must be universally quantified here
+    In the type signature for `op'
 
 Compilation had errors