diff options
Diffstat (limited to 'testsuite/tests/deriving/should_fail/T5498.stderr')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T5498.stderr | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/testsuite/tests/deriving/should_fail/T5498.stderr b/testsuite/tests/deriving/should_fail/T5498.stderr index 0519ecba6e..8adde63a98 100644 --- a/testsuite/tests/deriving/should_fail/T5498.stderr +++ b/testsuite/tests/deriving/should_fail/T5498.stderr @@ -1 +1,11 @@ -
\ No newline at end of file + +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’ + Possible fix: + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself + When deriving the instance for (IntIso (Down a)) |