diff options
Diffstat (limited to 'testsuite/tests/deriving/should_fail')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T15073.stderr | 21 |
1 files changed, 7 insertions, 14 deletions
diff --git a/testsuite/tests/deriving/should_fail/T15073.stderr b/testsuite/tests/deriving/should_fail/T15073.stderr index 2cc3f90482..1235b01c68 100644 --- a/testsuite/tests/deriving/should_fail/T15073.stderr +++ b/testsuite/tests/deriving/should_fail/T15073.stderr @@ -3,26 +3,19 @@ T15073.hs:8:12: error: • Illegal unboxed tuple type as function argument: (# Foo a #) Perhaps you intended to use UnboxedTuples • In an expression type signature: - Foo a - -> (Unit# (Foo a) :: TYPE (GHC.Types.TupleRep ((:) GHC.Types.LiftedRep ([] :: [] GHC.Types.RuntimeRep) :: [] GHC.Types.RuntimeRep))) + Foo a -> Unit# @GHC.Types.LiftedRep (Foo a) In the expression: GHC.Prim.coerce - @(a - -> (Unit# a :: TYPE (GHC.Types.TupleRep ((:) GHC.Types.LiftedRep ([] :: [] GHC.Types.RuntimeRep) :: [] GHC.Types.RuntimeRep)))) - @(Foo a - -> (Unit# (Foo a) :: TYPE (GHC.Types.TupleRep ((:) GHC.Types.LiftedRep ([] :: [] GHC.Types.RuntimeRep) :: [] GHC.Types.RuntimeRep)))) + @(a -> Unit# @GHC.Types.LiftedRep a) + @(Foo a -> Unit# @GHC.Types.LiftedRep (Foo a)) (p @a) :: - Foo a - -> (Unit# (Foo a) :: TYPE (GHC.Types.TupleRep ((:) GHC.Types.LiftedRep ([] :: [] GHC.Types.RuntimeRep) :: [] GHC.Types.RuntimeRep))) + Foo a -> Unit# @GHC.Types.LiftedRep (Foo a) In an equation for ‘p’: p = GHC.Prim.coerce - @(a - -> (Unit# a :: TYPE (GHC.Types.TupleRep ((:) GHC.Types.LiftedRep ([] :: [] GHC.Types.RuntimeRep) :: [] GHC.Types.RuntimeRep)))) - @(Foo a - -> (Unit# (Foo a) :: TYPE (GHC.Types.TupleRep ((:) GHC.Types.LiftedRep ([] :: [] GHC.Types.RuntimeRep) :: [] GHC.Types.RuntimeRep)))) + @(a -> Unit# @GHC.Types.LiftedRep a) + @(Foo a -> Unit# @GHC.Types.LiftedRep (Foo a)) (p @a) :: - Foo a - -> (Unit# (Foo a) :: TYPE (GHC.Types.TupleRep ((:) GHC.Types.LiftedRep ([] :: [] GHC.Types.RuntimeRep) :: [] GHC.Types.RuntimeRep))) + Foo a -> Unit# @GHC.Types.LiftedRep (Foo a) When typechecking the code for ‘p’ in a derived instance for ‘P (Foo a)’: To see the code I am typechecking, use -ddump-deriv |