From b3f3a879272838063b643950ac7f25891ec267c8 Mon Sep 17 00:00:00 2001 From: rrt Date: Thu, 17 Aug 2000 11:22:33 +0000 Subject: [PATCH] [project @ 2000-08-17 11:22:33 by rrt] Updated error message. --- ghc/tests/rename/should_fail/rnfail014.stderr | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) 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 -- 1.7.10.4