diff options
Diffstat (limited to 'testsuite/tests/deriving/should_fail/deriving-via-fail.stderr')
-rw-r--r-- | testsuite/tests/deriving/should_fail/deriving-via-fail.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/deriving/should_fail/deriving-via-fail.stderr b/testsuite/tests/deriving/should_fail/deriving-via-fail.stderr index 5179f53c03..ea07442a82 100644 --- a/testsuite/tests/deriving/should_fail/deriving-via-fail.stderr +++ b/testsuite/tests/deriving/should_fail/deriving-via-fail.stderr @@ -1,28 +1,28 @@ -deriving-via-fail.hs:9:34: error: +deriving-via-fail.hs:10:34: error: • Couldn't match representation of type ‘a’ with that of ‘b’ arising from the coercion of the method ‘showsPrec’ from type ‘Int -> Identity b -> ShowS’ to type ‘Int -> Foo1 a -> ShowS’ ‘a’ is a rigid type variable bound by the deriving clause for ‘Show (Foo1 a)’ - at deriving-via-fail.hs:9:34-37 + at deriving-via-fail.hs:10:34-37 ‘b’ is a rigid type variable bound by the deriving clause for ‘Show (Foo1 a)’ - at deriving-via-fail.hs:9:34-37 + at deriving-via-fail.hs:10:34-37 • When deriving the instance for (Show (Foo1 a)) -deriving-via-fail.hs:12:12: error: +deriving-via-fail.hs:13:12: error: • Cannot derive instance via ‘fooo’ Class ‘Category’ expects an argument of kind ‘* -> * -> *’, but ‘fooo’ has kind ‘*’ • In the newtype declaration for ‘Foo2’ -deriving-via-fail.hs:15:20: error: +deriving-via-fail.hs:16:20: error: • Couldn't match representation of type ‘a’ with that of ‘Foo3’ arising from the coercion of the method ‘==’ from type ‘a -> a -> Bool’ to type ‘Foo3 -> Foo3 -> Bool’ ‘a’ is a rigid type variable bound by the deriving clause for ‘Eq Foo3’ - at deriving-via-fail.hs:15:20-21 + at deriving-via-fail.hs:16:20-21 • When deriving the instance for (Eq Foo3) |