diff options
Diffstat (limited to 'testsuite/tests/deriving/should_fail/T7148a.stderr')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T7148a.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/deriving/should_fail/T7148a.stderr b/testsuite/tests/deriving/should_fail/T7148a.stderr index 1984eb9c6c..5f865d1f5c 100644 --- a/testsuite/tests/deriving/should_fail/T7148a.stderr +++ b/testsuite/tests/deriving/should_fail/T7148a.stderr @@ -1,10 +1,10 @@ T7148a.hs:19:50: - Could not coerce from ‛Result a b’ to ‛b’ - because ‛Result a b’ and ‛b’ are different types. - arising from the coercion of the method ‛coerce’ from type - ‛forall b. Proxy b -> a -> Result a b’ to type - ‛forall b. Proxy b -> IS_NO_LONGER a -> Result (IS_NO_LONGER a) b’ + Could not coerce from ‘Result a b’ to ‘b’ + because ‘Result a b’ and ‘b’ are different types. + arising from the coercion of the method ‘coerce’ from type + ‘forall b. Proxy b -> a -> Result a b’ to type + ‘forall b. Proxy b -> IS_NO_LONGER a -> Result (IS_NO_LONGER a) b’ Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself |