diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr b/testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr new file mode 100644 index 0000000000..10db900878 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr @@ -0,0 +1,13 @@ +
+FailDueToGivenOverlapping.hs:27:9:
+ Overlapping instances for E [t0]
+ arising from a use of `eop'
+ Matching instances:
+ instance E [a] -- Defined at FailDueToGivenOverlapping.hs:21:10-14
+ Matching givens (or their superclasses):
+ (E [Int])
+ bound by the type signature for bar :: E [Int] => () -> ()
+ at FailDueToGivenOverlapping.hs:27:1-23
+ (The choice depends on the instantiation of `t0')
+ In the expression: eop [undefined]
+ In an equation for `bar': bar _ = eop [undefined]
|