diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/ExpandSynsFail2.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/ExpandSynsFail2.stderr | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/testsuite/tests/typecheck/should_fail/ExpandSynsFail2.stderr b/testsuite/tests/typecheck/should_fail/ExpandSynsFail2.stderr index 6ded98e0bd..49e262cd3c 100644 --- a/testsuite/tests/typecheck/should_fail/ExpandSynsFail2.stderr +++ b/testsuite/tests/typecheck/should_fail/ExpandSynsFail2.stderr @@ -1,9 +1,12 @@ + ExpandSynsFail2.hs:19:37: error: - Couldn't match type ‘Int’ with ‘Bool’ - Expected type: ST s Foo - Actual type: MyBarST s - Type synonyms expanded: - Expected type: ST s Int - Actual type: ST s Bool - In the first argument of ‘runST’, namely ‘barGen’ - In the second argument of ‘(==)’, namely ‘runST barGen’ + • Couldn't match type ‘Int’ with ‘Bool’ + Expected type: ST s Foo + Actual type: MyBarST s + Type synonyms expanded: + Expected type: ST s Int + Actual type: ST s Bool + • In the first argument of ‘runST’, namely ‘barGen’ + In the second argument of ‘(==)’, namely ‘runST barGen’ + In the first argument of ‘print’, namely + ‘(runST fooGen == runST barGen)’ |