1d71a6aa9a3ff1acc3b0fcc1d1870b8aa41e056e
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail103.stderr
1
2 tcfail103.hs:15:23:
3     Couldn't match type ‘t’ with ‘s’
4       ‘t’ is a rigid type variable bound by
5           the type signature for f :: ST t Int at tcfail103.hs:10:5
6       ‘s’ is a rigid type variable bound by
7           the type signature for g :: ST s Int at tcfail103.hs:13:14
8     Expected type: STRef s Int
9       Actual type: STRef t Int
10     Relevant bindings include
11       g :: ST s Int (bound at tcfail103.hs:15:9)
12       v :: STRef t Int (bound at tcfail103.hs:12:5)
13       f :: ST t Int (bound at tcfail103.hs:11:1)
14     In the first argument of ‘readSTRef’, namely ‘v’
15     In the expression: readSTRef v