Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/370d1569af52da568fb943f19f0a48a179a4b048 >--------------------------------------------------------------- commit 370d1569af52da568fb943f19f0a48a179a4b048 Author: Manuel M T Chakravarty <[email protected]> Date: Wed Jun 27 21:30:22 2012 +1000 Add stderr for tests now (correctly) failing due to silent superclass args >--------------------------------------------------------------- .../should_fail/SilentParametersOverlapping.stderr | 13 +++++++++++++ tests/typecheck/should_fail/T5051.stderr | 11 +++++++++++ 2 files changed, 24 insertions(+), 0 deletions(-) diff --git a/tests/typecheck/should_fail/SilentParametersOverlapping.stderr b/tests/typecheck/should_fail/SilentParametersOverlapping.stderr new file mode 100644 index 0000000..6a49325 --- /dev/null +++ b/tests/typecheck/should_fail/SilentParametersOverlapping.stderr @@ -0,0 +1,13 @@ + +SilentParametersOverlapping.hs:15:9: + Overlapping instances for C [(t0, t1)] arising from a use of `c' + Matching givens (or their superclasses): + (C [(a, b)]) + bound by the instance declaration + at SilentParametersOverlapping.hs:14:37-45 + Matching instances: + instance C [a] -- Defined at SilentParametersOverlapping.hs:11:10 + (The choice depends on the instantiation of `t0, t1') + In the expression: c [(undefined, undefined)] + In an equation for `b': b x = c [(undefined, undefined)] + In the instance declaration for `B [(a, b)]' diff --git a/tests/typecheck/should_fail/T5051.stderr b/tests/typecheck/should_fail/T5051.stderr new file mode 100644 index 0000000..cebde5c --- /dev/null +++ b/tests/typecheck/should_fail/T5051.stderr @@ -0,0 +1,11 @@ + +T5051.hs:11:11: + Overlapping instances for Eq [a] arising from a use of `>=' + Matching instances: + instance Eq a => Eq [a] -- Defined in `GHC.Classes' + instance [overlap ok] Eq [T] -- Defined at T5051.hs:8:10 + (The choice depends on the instantiation of `a' + To pick the first instance above, use -XIncoherentInstances + when compiling the other instance declarations) + In the expression: x >= x + In an equation for `foo': foo x = x >= x _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
