diff options
Diffstat (limited to 'testsuite/tests/deriving/should_fail/T8984.stderr')
-rw-r--r-- | testsuite/tests/deriving/should_fail/T8984.stderr | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/testsuite/tests/deriving/should_fail/T8984.stderr b/testsuite/tests/deriving/should_fail/T8984.stderr index 1cdc425293..9908f70f0a 100644 --- a/testsuite/tests/deriving/should_fail/T8984.stderr +++ b/testsuite/tests/deriving/should_fail/T8984.stderr @@ -1,9 +1,9 @@ T8984.hs:7:46: error: - Couldn't match representation of type ‘cat a (N cat a Int)’ - with that of ‘cat a (cat a Int)’ - arising from the coercion of the method ‘app’ - from type ‘cat a (cat a Int)’ to type ‘N cat a (N cat a Int)’ - NB: We cannot know what roles the parameters to ‘cat a’ have; - we must assume that the role is nominal - When deriving the instance for (C (N cat a)) + • Couldn't match representation of type: cat a (N cat a Int) + with that of: cat a (cat a Int) + arising from the coercion of the method ‘app’ + from type ‘cat a (cat a Int)’ to type ‘N cat a (N cat a Int)’ + NB: We cannot know what roles the parameters to ‘cat a’ have; + we must assume that the role is nominal + • When deriving the instance for (C (N cat a)) |