Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / ExpandSynsFail2.stderr
1
2 ExpandSynsFail2.hs:19:37: error:
3     • Couldn't match type ‘Int’ with ‘Bool’
4       Expected type: ST s Foo
5         Actual type: MyBarST s
6       Type synonyms expanded:
7       Expected type: ST s Int
8         Actual type: ST s Bool
9     • In the first argument of ‘runST’, namely ‘barGen’
10       In the second argument of ‘(==)’, namely ‘runST barGen’
11       In the first argument of ‘print’, namely
12         ‘(runST fooGen == runST barGen)’