blob: 5a9b1839f6faba0ee544291b5f7ba9367984c193 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
tcfail103.hs:15:23:
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:10:8
`s' is a rigid type variable bound by
the type signature for g :: ST s Int at tcfail103.hs:13:17
Expected type: STRef s Int
Actual type: STRef t Int
In the first argument of `readSTRef', namely `v'
In the expression: readSTRef v
In an equation for `g': g = readSTRef v
|
