blob: f32e6dc6bcfe00dcc325c1ea44fcdec077874cea (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
-- !!! Monomorphism restriction
-- This one should work fine, despite the monomorphism restriction
-- Fails with GHC 5.00.1
module Test where
import Control.Monad.ST
import Data.STRef
-- Should get
-- apa :: forall s. ST s ()
apa = newSTRef () >> return ()
foo1 = runST apa
|