testsuite/tests/partial-sigs/should_fail/T12634.stderr


1
2
3
4
5
6
7
8
9
10


T12634.hs:15:58: error:
    • 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)