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