diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T9662.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T9662.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T9662.stderr b/testsuite/tests/indexed-types/should_fail/T9662.stderr index 3cdc60a18c..54b05665a3 100644 --- a/testsuite/tests/indexed-types/should_fail/T9662.stderr +++ b/testsuite/tests/indexed-types/should_fail/T9662.stderr @@ -1,7 +1,7 @@ T9662.hs:47:8: error: - • Couldn't match type ‘m’ with ‘Int’ - ‘m’ is a rigid type variable bound by + • Couldn't match type ‘k’ with ‘Int’ + ‘k’ is a rigid type variable bound by the type signature for: test :: forall sh k m n. Shape (((sh :. k) :. m) :. n) -> Shape (((sh :. m) :. n) :. k) |