diff options
Diffstat (limited to 'testsuite/tests/deriving/should_fail/T7148a.stderr')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T7148a.stderr | 18 |
1 files changed, 7 insertions, 11 deletions
diff --git a/testsuite/tests/deriving/should_fail/T7148a.stderr b/testsuite/tests/deriving/should_fail/T7148a.stderr index 4edb968702..8dd23aa034 100644 --- a/testsuite/tests/deriving/should_fail/T7148a.stderr +++ b/testsuite/tests/deriving/should_fail/T7148a.stderr @@ -1,14 +1,10 @@ -T7148a.hs:19:50: +T7148a.hs:19:50: error: Couldn't match representation of type ‘b’ with that of ‘Result a b’ - ‘b’ is a rigid type variable bound by - the type forall b1. Proxy b1 -> a -> Result a b1 at T7148a.hs:19:50 - 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’ - Relevant role signatures: - type role IS_NO_LONGER representational - type role Result nominal nominal - type role Proxy phantom + 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’ + ‘b’ is a rigid type variable bound by + the type forall b1. Proxy b1 -> a -> Result a b1 at T7148a.hs:19:50 When deriving the instance for (Convert (IS_NO_LONGER a)) |