summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T9017.stderr
blob: 2fc5bb1792d3f12dc3e45d631460c5a7fb495480 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

T9017.hs:8:7: error:
    • Couldn't match kind ‘k2’ with ‘*’
      When matching types
        a0 :: * -> * -> *
        a :: k2 -> k3 -> *
      Expected: a b (m b)
        Actual: a0 b0 (m0 b0)
      ‘k2’ is a rigid type variable bound by
        the type signature for:
          foo :: forall {k2} {k3} (a :: k2 -> k3 -> *) (b :: k2)
                        (m :: k2 -> k3).
                 a b (m b)
        at T9017.hs:7:1-16
    • In the expression: arr return
      In an equation for ‘foo’: foo = arr return
    • Relevant bindings include
        foo :: a b (m b) (bound at T9017.hs:8:1)