diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail121.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail121.stderr | 23 |
1 files changed, 12 insertions, 11 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail121.stderr b/testsuite/tests/typecheck/should_fail/tcfail121.stderr index dc0679edca..179729586f 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail121.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail121.stderr @@ -1,12 +1,13 @@ -tcfail121.hs:13:9: - Overlapping instances for Foo [a] arising from a use of ‘op’ - Matching instances: - instance [overlappable] Foo a => Foo [a] - -- Defined at tcfail121.hs:9:31 - instance [overlapping] Foo [Int] -- Defined at tcfail121.hs:10:30 - (The choice depends on the instantiation of ‘a’ - To pick the first instance above, use IncoherentInstances - when compiling the other instance declarations) - In the expression: op x - In an equation for ‘foo’: foo x = op x +tcfail121.hs:13:9: error: + • Overlapping instances for Foo [a] arising from a use of ‘op’ + Matching instance: + instance [overlappable] Foo a => Foo [a] + -- Defined at tcfail121.hs:9:31 + Potentially matching instance: + instance [overlapping] Foo [Int] -- Defined at tcfail121.hs:10:30 + (The choice depends on the instantiation of ‘a’ + To pick the first instance above, use IncoherentInstances + when compiling the other instance declarations) + • In the expression: op x + In an equation for ‘foo’: foo x = op x |