Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/78b297b679528a42fdac221f687f805dd2b7e7a5 >--------------------------------------------------------------- commit 78b297b679528a42fdac221f687f805dd2b7e7a5 Author: Simon Peyton Jones <[email protected]> Date: Wed Jun 22 11:25:26 2011 +0100 Accept error message changes after removal of silent superclass parameters >--------------------------------------------------------------- .../typecheck/should_fail/tcfail019.stderr | 10 ++++++++-- .../typecheck/should_fail/tcfail042.stderr | 15 +++++++++++++++ 2 files changed, 23 insertions(+), 2 deletions(-) diff --git a/tests/ghc-regress/typecheck/should_fail/tcfail019.stderr b/tests/ghc-regress/typecheck/should_fail/tcfail019.stderr index f40e0f5..0f24d01 100644 --- a/tests/ghc-regress/typecheck/should_fail/tcfail019.stderr +++ b/tests/ghc-regress/typecheck/should_fail/tcfail019.stderr @@ -1,6 +1,12 @@ tcfail019.hs:18:10: - No instances for (C [a], B [a]) + No instance for (B [a]) arising from the superclasses of an instance declaration - Possible fix: add instance declarations for (C [a], B [a]) + Possible fix: add an instance declaration for (B [a]) + In the instance declaration for `D [a]' + +tcfail019.hs:18:10: + No instance for (C [a]) + arising from the superclasses of an instance declaration + Possible fix: add an instance declaration for (C [a]) In the instance declaration for `D [a]' diff --git a/tests/ghc-regress/typecheck/should_fail/tcfail042.stderr b/tests/ghc-regress/typecheck/should_fail/tcfail042.stderr index 76031bb..ba2b83f 100644 --- a/tests/ghc-regress/typecheck/should_fail/tcfail042.stderr +++ b/tests/ghc-regress/typecheck/should_fail/tcfail042.stderr @@ -7,3 +7,18 @@ tcfail042.hs:15:10: Possible fix: add (Num a) to the context of the instance declaration In the instance declaration for `Bar [a]' + +tcfail042.hs:17:18: + Could not deduce (Num a) arising from a use of `foo' + from the context (Eq a, Show a) + bound by the instance declaration at tcfail042.hs:15:10-34 + Possible fix: + add (Num a) to the context of the instance declaration + In the expression: foo xs + In an equation for `bar': + bar (x : xs) + = foo xs + where + u = x == x + v = show x + In the instance declaration for `Bar [a]' _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
