From: simonmar <unknown>
Date: Thu, 8 Jun 2000 08:54:33 +0000 (+0000)
Subject: [project @ 2000-06-08 08:54:33 by simonmar]
X-Git-Tag: Approximately_9120_patches~4312
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=53e2452fcdd1fd2a4dcbf204ae187fab8b1e8022;p=ghc-hetmet.git

[project @ 2000-06-08 08:54:33 by simonmar]
update expected output
---

diff --git a/ghc/tests/rename/should_fail/rnfail014.stderr b/ghc/tests/rename/should_fail/rnfail014.stderr
index b71453a..700fdec 100644
--- a/ghc/tests/rename/should_fail/rnfail014.stderr
+++ b/ghc/tests/rename/should_fail/rnfail014.stderr
@@ -1,18 +1,13 @@
 
 rnfail014.hs:8:
-    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 an instance decl
+    Ambiguous constraint `Eq a'
+	for the type: {Eq Bool}
+	Each forall'd type variable mentioned by the constraint must appear after the =>
 
 rnfail014.hs:12:
-    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 `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'
+    Ambiguous constraint `Eq a'
+	for the type: Int -> Int
+	Each forall'd type variable mentioned by the constraint must appear after the =>
 
 Compilation had errors