Re-add FunTy (big patch)
[ghc.git] / testsuite / tests / polykinds / T9017.stderr
1
2 T9017.hs:8:7: error:
3     • Couldn't match kind ‘k1’ with ‘*’
4       ‘k1’ is a rigid type variable bound by
5         the type signature for:
6           foo :: forall k k1 (a :: k -> k1 -> *) (b :: k) (m :: k -> k1).
7                  a b (m b)
8         at T9017.hs:7:8
9       When matching the kind of ‘a’
10     • In the expression: arr return
11       In an equation for ‘foo’: foo = arr return
12     • Relevant bindings include
13         foo :: a b (m b) (bound at T9017.hs:8:1)
14