diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T5236.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T5236.stderr | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T5236.stderr b/testsuite/tests/typecheck/should_fail/T5236.stderr new file mode 100644 index 0000000000..8ec3544f6a --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T5236.stderr @@ -0,0 +1,20 @@ +
+T5236.hs:17:5:
+ Couldn't match type `B' with `A'
+ When using functional dependencies to combine
+ Id B B,
+ arising from the dependency `b -> a'
+ in the instance declaration at T5236.hs:11:10
+ Id A B, arising from a use of `loop' at T5236.hs:17:5-8
+ In the expression: loop
+ In an equation for `f': f = loop
+
+T5236.hs:17:5:
+ Couldn't match type `A' with `B'
+ When using functional dependencies to combine
+ Id A A,
+ arising from the dependency `a -> b'
+ in the instance declaration at T5236.hs:10:10
+ Id A B, arising from a use of `loop' at T5236.hs:17:5-8
+ In the expression: loop
+ In an equation for `f': f = loop
|