diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail157.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail157.stderr | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail157.stderr b/testsuite/tests/typecheck/should_fail/tcfail157.stderr index 113e0cc67e..edc0506460 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail157.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail157.stderr @@ -1,12 +1,12 @@ -
-tcfail157.hs:27:10: error:
- Variable ‘b’ occurs more often
- in the constraint ‘E m a b’ than in the instance head
- (Use UndecidableInstances to permit this)
- In the instance declaration for ‘Foo m (a -> ())’
-
-tcfail157.hs:27:10: error:
- Variable ‘b’ occurs more often
- in the constraint ‘Foo m b’ than in the instance head
- (Use UndecidableInstances to permit this)
- In the instance declaration for ‘Foo m (a -> ())’
+ +tcfail157.hs:27:10: error: + • Variable ‘b’ occurs more often + in the constraint ‘E m a b’ than in the instance head + (Use UndecidableInstances to permit this) + • In the instance declaration for ‘Foo m (a -> ())’ + +tcfail157.hs:27:10: error: + • Variable ‘b’ occurs more often + in the constraint ‘Foo m b’ than in the instance head + (Use UndecidableInstances to permit this) + • In the instance declaration for ‘Foo m (a -> ())’ |