2ed6df248587680db6e222ffddb217a2ca01e7d2
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail103.hs
1
2
3 module ShouldCompile where
4 import GHC.ST
5 import GHC.STRef
6 import GHC.Arr
7
8 -- Another 'escape' example
9
10 f:: ST t Int
11 f = do
12 v <- newSTRef 5
13 let g :: ST s Int
14 -- Implicitly forall s. ST s Int
15 g = readSTRef v
16 g