diff options
Diffstat (limited to 'testsuite/tests/saks/should_fail/saks_fail020.stderr')
| -rw-r--r-- | testsuite/tests/saks/should_fail/saks_fail020.stderr | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/tests/saks/should_fail/saks_fail020.stderr b/testsuite/tests/saks/should_fail/saks_fail020.stderr index 7f4f33f631..c71b772786 100644 --- a/testsuite/tests/saks/should_fail/saks_fail020.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail020.stderr @@ -1,6 +1,10 @@ saks_fail020.hs:9:49: error: • Expected kind ‘k’, but ‘a’ has kind ‘k0’ + because kind variable ‘k’ would escape its scope + This (rigid, skolem) kind variable is bound by + ‘forall (k :: Type) -> Proxy (a :: k)’ + at saks_fail020.hs:9:20-55 • In the first argument of ‘Proxy’, namely ‘(a :: k)’ In a standalone kind signature for ‘Foo2’: () -> forall (k :: Type) -> Proxy (a :: k) |