blob: 1c133a9d49769426e028b163bac44881ef6f64e7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
tcfail103.hs:15:23: error: [GHC-25897]
• Couldn't match type ‘s’ with ‘t’
Expected: STRef s Int
Actual: STRef t Int
‘s’ is a rigid type variable bound by
the type signature for:
g :: forall s. ST s Int
at tcfail103.hs:13:9-21
‘t’ is a rigid type variable bound by
the type signature for:
f :: forall t. ST t Int
at tcfail103.hs:10:1-12
• In the first argument of ‘readSTRef’, namely ‘v’
In the expression: readSTRef v
In an equation for ‘g’: g = readSTRef v
• Relevant bindings include
g :: ST s Int (bound at tcfail103.hs:15:9)
v :: STRef t Int (bound at tcfail103.hs:12:5)
f :: ST t Int (bound at tcfail103.hs:11:1)
|