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


1
2
3
4
5
6
7
8
9
10


T12634.hs:14: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)