diff options
Diffstat (limited to 'testsuite/tests/deriving/should_fail/T7148a.stderr')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T7148a.stderr | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/testsuite/tests/deriving/should_fail/T7148a.stderr b/testsuite/tests/deriving/should_fail/T7148a.stderr index 9a6ea41d96..cd1e4db351 100644 --- a/testsuite/tests/deriving/should_fail/T7148a.stderr +++ b/testsuite/tests/deriving/should_fail/T7148a.stderr @@ -1,11 +1,11 @@ - -T7148a.hs:19:50: error: - • Couldn't match representation of type ‘b’ - with that of ‘Result a b’ - 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 Proxy b -> a -> Result a b at T7148a.hs:19:50 - • When deriving the instance for (Convert (IS_NO_LONGER a)) +
+T7148a.hs:19:50: error:
+ • Couldn't match representation of type ‘b’
+ with that of ‘Result a b’
+ 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 Proxy b -> a -> Result a b at T7148a.hs:19:50-56
+ • When deriving the instance for (Convert (IS_NO_LONGER a))
|