diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2019-09-06 17:40:58 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-09-19 09:04:03 -0400 |
| commit | c675d08fb08151c10e94a975452ce0c5c2cf997a (patch) | |
| tree | e8a165054fa2e55cd32cf57d1c0de20654a5ee8b /testsuite/tests/typecheck/should_fail/T17077.stderr | |
| parent | f594a68a5500696d94ae36425bbf4d4073aca3b2 (diff) | |
| download | haskell-c675d08fb08151c10e94a975452ce0c5c2cf997a.tar.gz | |
Test #17077.
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T17077.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T17077.stderr | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T17077.stderr b/testsuite/tests/typecheck/should_fail/T17077.stderr new file mode 100644 index 0000000000..3d05adc3c3 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T17077.stderr @@ -0,0 +1,5 @@ + +T17077.hs:7:13: error: + • Expected kind ‘forall (k :: k1). a’, but ‘z’ has kind ‘k0’ + • In the first argument of ‘Proxy’, namely ‘(z :: forall k. a)’ + In the type signature: t :: Proxy (z :: forall k. a) |