diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/T12634.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_fail/T12634.stderr | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/T12634.stderr b/testsuite/tests/partial-sigs/should_fail/T12634.stderr index 19a65352db..3c2eb498d5 100644 --- a/testsuite/tests/partial-sigs/should_fail/T12634.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T12634.stderr @@ -1,10 +1,9 @@ T12634.hs:15:58: error: [GHC-83865] - • Expected a type, but - ‘'(t, m, m', r)’ has kind + • Expected a type, + but ‘'(t, m, m', r)’ has kind ‘(k1 -> k2 -> *, k0, k1, k2)’ • In the first argument of ‘Bench’, namely ‘'(t, m, m', r)’ - In the type ‘t m' r -> Bench '(t, m, m', r)’ In the type signature: bench_twacePow :: forall t m m' r. _ => t m' r -> Bench '(t, m, m', r) |