diff options
Diffstat (limited to 'testsuite/tests/deriving/should_fail/T6147.stderr')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T6147.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/deriving/should_fail/T6147.stderr b/testsuite/tests/deriving/should_fail/T6147.stderr index ffe584c1de..a346ac3216 100644 --- a/testsuite/tests/deriving/should_fail/T6147.stderr +++ b/testsuite/tests/deriving/should_fail/T6147.stderr @@ -1,10 +1,10 @@ T6147.hs:13:32: - Could not coerce from ‛T Int’ to ‛T Foo’ - because the first type argument of ‛T’ has role Nominal, - but the arguments ‛Int’ and ‛Foo’ differ - arising from the coercion of the method ‛foo’ from type - ‛Int -> T Int’ to type ‛Foo -> T Foo’ + Could not coerce from ‘T Int’ to ‘T Foo’ + because the first type argument of ‘T’ has role Nominal, + but the arguments ‘Int’ and ‘Foo’ differ + arising from the coercion of the method ‘foo’ from type + ‘Int -> T Int’ to type ‘Foo -> T Foo’ Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself |