diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/T12634.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_fail/T12634.stderr | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/T12634.stderr b/testsuite/tests/partial-sigs/should_fail/T12634.stderr index 7f1d713c4f..316f7eb2c5 100644 --- a/testsuite/tests/partial-sigs/should_fail/T12634.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T12634.stderr @@ -1,6 +1,6 @@ T12634.hs:14:37: error: - • Found type wildcard ‘_’ standing for ‘() :: Constraint’ + • Found type wildcard ‘_’ standing for ‘()’ To use the inferred type, enable PartialTypeSignatures • In the type signature: bench_twacePow :: forall t m m' r. @@ -15,3 +15,17 @@ T12634.hs:14:58: error: In the type signature: bench_twacePow :: forall t m m' r. _ => t m' r -> Bench '(t, m, m', r) + +T12634.hs:15:18: error: + • Couldn't match kind ‘(* -> * -> *, *, *, *)’ with ‘*’ + When matching types + params0 :: * + '(t, m, m', r) :: (* -> * -> *, *, *, *) + Expected type: t m' r -> Bench '(t, m, m', r) + Actual type: t m' r -> Bench params0 + • In the expression: bench (twacePowDec :: t m' r -> t m r) + In an equation for ‘bench_twacePow’: + bench_twacePow = bench (twacePowDec :: t m' r -> t m r) + • Relevant bindings include + bench_twacePow :: t m' r -> Bench '(t, m, m', r) + (bound at T12634.hs:15:1) |