diff options
Diffstat (limited to 'testsuite/tests/deriving/should_fail/deriving-via-fail5.stderr')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/deriving-via-fail5.stderr | 36 |
1 files changed, 13 insertions, 23 deletions
diff --git a/testsuite/tests/deriving/should_fail/deriving-via-fail5.stderr b/testsuite/tests/deriving/should_fail/deriving-via-fail5.stderr index 0e20ce480e..a0a19ab65d 100644 --- a/testsuite/tests/deriving/should_fail/deriving-via-fail5.stderr +++ b/testsuite/tests/deriving/should_fail/deriving-via-fail5.stderr @@ -9,18 +9,14 @@ deriving-via-fail5.hs:8:1: error: the instance declaration at deriving-via-fail5.hs:(8,1)-(9,24) • In the expression: - GHC.Prim.coerce - @(Int -> Identity b -> ShowS) - @(Int -> Foo4 a -> ShowS) - (showsPrec @(Identity b)) :: - Int -> Foo4 a -> ShowS + GHC.Prim.coerce + @(Int -> Identity b -> ShowS) @(Int -> Foo4 a -> ShowS) + (showsPrec @(Identity b)) In an equation for ‘showsPrec’: showsPrec = GHC.Prim.coerce - @(Int -> Identity b -> ShowS) - @(Int -> Foo4 a -> ShowS) - (showsPrec @(Identity b)) :: - Int -> Foo4 a -> ShowS + @(Int -> Identity b -> ShowS) @(Int -> Foo4 a -> ShowS) + (showsPrec @(Identity b)) When typechecking the code for ‘showsPrec’ in a derived instance for ‘Show (Foo4 a)’: To see the code I am typechecking, use -ddump-deriv @@ -39,14 +35,12 @@ deriving-via-fail5.hs:8:1: error: the instance declaration at deriving-via-fail5.hs:(8,1)-(9,24) • In the expression: - GHC.Prim.coerce - @(Identity b -> String) @(Foo4 a -> String) (show @(Identity b)) :: - Foo4 a -> String + GHC.Prim.coerce + @(Identity b -> String) @(Foo4 a -> String) (show @(Identity b)) In an equation for ‘show’: show = GHC.Prim.coerce - @(Identity b -> String) @(Foo4 a -> String) (show @(Identity b)) :: - Foo4 a -> String + @(Identity b -> String) @(Foo4 a -> String) (show @(Identity b)) When typechecking the code for ‘show’ in a derived instance for ‘Show (Foo4 a)’: To see the code I am typechecking, use -ddump-deriv @@ -64,18 +58,14 @@ deriving-via-fail5.hs:8:1: error: the instance declaration at deriving-via-fail5.hs:(8,1)-(9,24) • In the expression: - GHC.Prim.coerce - @([] (Identity b) -> ShowS) - @([] (Foo4 a) -> ShowS) - (showList @(Identity b)) :: - [] (Foo4 a) -> ShowS + GHC.Prim.coerce + @([] (Identity b) -> ShowS) @([] (Foo4 a) -> ShowS) + (showList @(Identity b)) In an equation for ‘showList’: showList = GHC.Prim.coerce - @([] (Identity b) -> ShowS) - @([] (Foo4 a) -> ShowS) - (showList @(Identity b)) :: - [] (Foo4 a) -> ShowS + @([] (Identity b) -> ShowS) @([] (Foo4 a) -> ShowS) + (showList @(Identity b)) When typechecking the code for ‘showList’ in a derived instance for ‘Show (Foo4 a)’: To see the code I am typechecking, use -ddump-deriv |