diff options
Diffstat (limited to 'testsuite/tests/deriving/should_fail/T5498.stderr')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T5498.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/deriving/should_fail/T5498.stderr b/testsuite/tests/deriving/should_fail/T5498.stderr index 8adde63a98..b613eae368 100644 --- a/testsuite/tests/deriving/should_fail/T5498.stderr +++ b/testsuite/tests/deriving/should_fail/T5498.stderr @@ -1,10 +1,10 @@ T5498.hs:30:39: - Could not coerce from ‛c a’ to ‛c (Down a)’ - because ‛c a’ and ‛c (Down a)’ are different types. - arising from the coercion of the method ‛intIso’ from type - ‛forall (c :: * -> *). c a -> c Int’ to type - ‛forall (c :: * -> *). c (Down a) -> c Int’ + Could not coerce from ‘c a’ to ‘c (Down a)’ + because ‘c a’ and ‘c (Down a)’ are different types. + arising from the coercion of the method ‘intIso’ from type + ‘forall (c :: * -> *). c a -> c Int’ to type + ‘forall (c :: * -> *). c (Down a) -> c Int’ Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself |