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