Improve type-error reporting
[ghc.git] / testsuite / tests / partial-sigs / should_fail / T12634.stderr
1
2 T12634.hs:14:37: error:
3     • Found type wildcard ‘_’ standing for ‘()’
4       To use the inferred type, enable PartialTypeSignatures
5     • In the type signature:
6         bench_twacePow :: forall t m m' r.
7                           _ => t m' r -> Bench '(t, m, m', r)
8
9 T12634.hs:14:58: error:
10     • Expected a type, but
11       ‘'(t, m, m', r)’ has kind
12       ‘(* -> * -> *, *, *, *)’
13     • In the first argument of ‘Bench’, namely ‘'(t, m, m', r)’
14       In the type ‘t m' r -> Bench '(t, m, m', r)’
15       In the type signature:
16         bench_twacePow :: forall t m m' r.
17                           _ => t m' r -> Bench '(t, m, m', r)