diff options
Diffstat (limited to 'testsuite/tests/dependent/should_fail/BadTelescope5.stderr')
-rw-r--r-- | testsuite/tests/dependent/should_fail/BadTelescope5.stderr | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/testsuite/tests/dependent/should_fail/BadTelescope5.stderr b/testsuite/tests/dependent/should_fail/BadTelescope5.stderr index 57b2ee7876..d2ec36e5df 100644 --- a/testsuite/tests/dependent/should_fail/BadTelescope5.stderr +++ b/testsuite/tests/dependent/should_fail/BadTelescope5.stderr @@ -1,6 +1,10 @@ BadTelescope5.hs:10:81: error: - • Expected kind ‘k1’, but ‘d’ has kind ‘Proxy a1’ + • Expected kind ‘k’, but ‘d’ has kind ‘Proxy a’ + ‘k’ is a rigid type variable bound by + ‘forall a k (b :: k) (c :: Proxy b) (d :: Proxy a). + Proxy c -> SameKind b d’ + at BadTelescope5.hs:10:17 • In the second argument of ‘SameKind’, namely ‘d’ In the type signature: bar :: forall a k (b :: k) (c :: Proxy b) (d :: Proxy a). |