blob: 24aca978e3a2bab25212fa3a1a2437f92d2ec374 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
ExpandSynsFail2.hs:19:37: error:
• Couldn't match type ‘Int’ with ‘Bool’
Expected: ST s Foo
Actual: 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)’
|