testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc132.hs
1 -- !!! Monomorphism restriction
2 -- This one should work fine, despite the monomorphism restriction
3 -- Fails with GHC 5.00.1
4
5 module Test where
6 import Control.Monad.ST
7 import Data.STRef
8
9 -- Should get
10 -- apa :: forall s. ST s ()
11 apa = newSTRef () >> return ()
12
13 foo1 = runST apa