diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T5236.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T5236.stderr | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T5236.stderr b/testsuite/tests/typecheck/should_fail/T5236.stderr index 74e4606993..b2de3de8d6 100644 --- a/testsuite/tests/typecheck/should_fail/T5236.stderr +++ b/testsuite/tests/typecheck/should_fail/T5236.stderr @@ -1,12 +1,12 @@ -
-T5236.hs:13:9:
- 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 the type signature for loop :: Id A B => Bool
- at T5236.hs:13:9-22
- In the ambiguity check for: Id A B => Bool
- In the type signature for `loop': loop :: Id A B => Bool
+ +T5236.hs:13:9: + 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 the type signature for loop :: Id A B => Bool + at T5236.hs:13:9-22 + In the ambiguity check for: Id A B => Bool + In the type signature for ‛loop’: loop :: Id A B => Bool |