Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail103.stderr
1
2 tcfail103.hs:15:13: error:
3     • Couldn't match type ‘t’ with ‘s’
4       ‘t’ is a rigid type variable bound by
5         the type signature for:
6           f :: forall t. ST t Int
7         at tcfail103.hs:10:1-12
8       ‘s’ is a rigid type variable bound by
9         the type signature for:
10           g :: forall s. ST s Int
11         at tcfail103.hs:13:9-21
12       Expected type: ST s Int
13         Actual type: ST t Int
14     • In the expression: readSTRef v
15       In an equation for ‘g’: g = readSTRef v
16       In the expression:
17         do { v <- newSTRef 5;
18              let g :: ST s Int
19                  g = readSTRef v;
20              g }
21     • Relevant bindings include
22         g :: ST s Int (bound at tcfail103.hs:15:9)
23         v :: STRef t Int (bound at tcfail103.hs:12:5)
24         f :: ST t Int (bound at tcfail103.hs:11:1)