diff options
Diffstat (limited to 'testsuite/tests/dependent/should_fail/T11407.stderr')
| -rw-r--r-- | testsuite/tests/dependent/should_fail/T11407.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/dependent/should_fail/T11407.stderr b/testsuite/tests/dependent/should_fail/T11407.stderr index b07aa2bbd8..df87248f2e 100644 --- a/testsuite/tests/dependent/should_fail/T11407.stderr +++ b/testsuite/tests/dependent/should_fail/T11407.stderr @@ -1,6 +1,6 @@ T11407.hs:10:40: error: - • Occurs check: cannot construct the infinite kind: k0 ~ x a + • Expected kind ‘x a’, but ‘a’ has kind ‘k0’ • In the second argument of ‘UhOh’, namely ‘(a :: x a)’ In the data instance declaration for ‘UhOh’ • Type variable kinds: |