Test Trac #6069
[ghc.git] / testsuite / tests / typecheck / should_fail / T6069.hs
1 {-# LANGUAGE Rank2Types #-}
2
3 module T6069 where
4
5 import Control.Monad.ST
6 import Data.STRef
7
8 fourty_two :: forall s. ST s Int
9 fourty_two = do
10 x <- newSTRef (42::Int)
11 readSTRef x
12
13 f1 = (print . runST) fourty_two -- (1)
14 f2 = (print . runST) $ fourty_two -- (2)
15 f3 = ((print . runST) $) fourty_two -- (3)
16
17