diff options
Diffstat (limited to 'testsuite/tests/polykinds/T9017.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T9017.stderr | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/testsuite/tests/polykinds/T9017.stderr b/testsuite/tests/polykinds/T9017.stderr index 2fc5bb1792..b18efe0111 100644 --- a/testsuite/tests/polykinds/T9017.stderr +++ b/testsuite/tests/polykinds/T9017.stderr @@ -1,15 +1,14 @@ T9017.hs:8:7: error: - • Couldn't match kind ‘k2’ with ‘*’ + • Couldn't match kind ‘k’ with ‘*’ When matching types a0 :: * -> * -> * - a :: k2 -> k3 -> * + a :: k -> k1 -> * Expected: a b (m b) Actual: a0 b0 (m0 b0) - ‘k2’ is a rigid type variable bound by + ‘k’ is a rigid type variable bound by the type signature for: - foo :: forall {k2} {k3} (a :: k2 -> k3 -> *) (b :: k2) - (m :: k2 -> k3). + foo :: forall {k} {k1} (a :: k -> k1 -> *) (b :: k) (m :: k -> k1). a b (m b) at T9017.hs:7:1-16 • In the expression: arr return |