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