diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-02-05 19:57:29 -0500 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-02-05 19:57:29 -0500 |
| commit | e88e083d62389d5c8d082a25395a3d933ab2f03b (patch) | |
| tree | b155b8a313a244c834e15cba6a8b537ac5481717 /testsuite/tests/deriving/should_fail | |
| parent | ab4934230bb12451f8990d063906f24ab072addc (diff) | |
| download | haskell-e88e083d62389d5c8d082a25395a3d933ab2f03b.tar.gz | |
Fix #14579 by defining tyConAppNeedsKindSig, and using it
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 |