blob: a892b23c438baaa09232d13a28cd05404b1a3f86 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
tcfail103.hs:15:13:
Couldn't match type `s' with `t'
`s' is a rigid type variable bound by
the type signature for g :: ST s Int at tcfail103.hs:15:9
`t' is a rigid type variable bound by
the type signature for f :: ST t Int at tcfail103.hs:11:1
Expected type: ST s Int
Actual type: ST t Int
In the return type of a call of `readSTRef'
In the expression: readSTRef v
|