diff options
Diffstat (limited to 'testsuite/tests/deriving/should_fail/T5498.stderr')
-rw-r--r-- | testsuite/tests/deriving/should_fail/T5498.stderr | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/testsuite/tests/deriving/should_fail/T5498.stderr b/testsuite/tests/deriving/should_fail/T5498.stderr index ce87ef1867..1960487c38 100644 --- a/testsuite/tests/deriving/should_fail/T5498.stderr +++ b/testsuite/tests/deriving/should_fail/T5498.stderr @@ -1,10 +1,10 @@ T5498.hs:30:39: error: - Couldn't match representation of type ‘c a’ - with that of ‘c (Down a)’ - 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’ - NB: We cannot know what roles the parameters to ‘c’ have; - we must assume that the role is nominal - When deriving the instance for (IntIso (Down a)) + • Couldn't match representation of type: c a + with that of: c (Down a) + 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’ + NB: We cannot know what roles the parameters to ‘c’ have; + we must assume that the role is nominal + • When deriving the instance for (IntIso (Down a)) |