diff options
Diffstat (limited to 'testsuite/tests/dependent/should_fail/BadTelescope4.stderr')
| -rw-r--r-- | testsuite/tests/dependent/should_fail/BadTelescope4.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/dependent/should_fail/BadTelescope4.stderr b/testsuite/tests/dependent/should_fail/BadTelescope4.stderr index 158aec650d..2394f896ad 100644 --- a/testsuite/tests/dependent/should_fail/BadTelescope4.stderr +++ b/testsuite/tests/dependent/should_fail/BadTelescope4.stderr @@ -1,12 +1,12 @@ BadTelescope4.hs:9:1: error: - • These kind and type variables: (a :: k1) + • These kind and type variables: (a :: k) (c :: Proxy b) (d :: Proxy a) (x :: SameKind b d) are out of dependency order. Perhaps try this ordering: - k1 - (a :: k1) + k + (a :: k) (b :: Proxy a) (c :: Proxy b) (d :: Proxy a) |