diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-19 02:20:12 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-19 02:20:12 +0100 |
commit | 8bc6c4a613b5d16118469248cfb8025a5175a174 (patch) | |
tree | 56146daa18ef6f54974bf2c22c9121e2912a51da /testsuite/tests/indexed-types/should_fail/T6123.stderr | |
parent | 09cdd12b22bcff1876ea80c0d9878507c2ed4f1f (diff) | |
download | haskell-8bc6c4a613b5d16118469248cfb8025a5175a174.tar.gz |
Improvements to kind error messages, mainly
Also some expected/actual messages are now the right way round
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T6123.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T6123.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T6123.stderr b/testsuite/tests/indexed-types/should_fail/T6123.stderr index 0a82222f61..4f7f6919f4 100644 --- a/testsuite/tests/indexed-types/should_fail/T6123.stderr +++ b/testsuite/tests/indexed-types/should_fail/T6123.stderr @@ -1,6 +1,6 @@ T6123.hs:10:14: - Couldn't match expected type `a0' with actual type `Id a0' + Occurs check: cannot construct the infinite type: a0 ~ Id a0 The type variable `a0' is ambiguous Possible cause: the monomorphism restriction applied to: `cundefined' |