From 53e2452fcdd1fd2a4dcbf204ae187fab8b1e8022 Mon Sep 17 00:00:00 2001 From: simonmar Date: Thu, 8 Jun 2000 08:54:33 +0000 Subject: [PATCH] [project @ 2000-06-08 08:54:33 by simonmar] update expected output --- ghc/tests/rename/should_fail/rnfail014.stderr | 17 ++++++----------- 1 file changed, 6 insertions(+), 11 deletions(-) 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 -- 1.7.10.4