From: sof Date: Sat, 5 Jul 1997 01:00:41 +0000 (+0000) Subject: [project @ 1997-07-05 01:00:41 by sof] X-Git-Tag: Approximately_1000_patches_recorded~285 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=3143d1e2496a801ba569b0579ee77f974014b5d7;p=ghc-hetmet.git [project @ 1997-07-05 01:00:41 by sof] Moved unsafe* to UnsafeST --- diff --git a/ghc/lib/ghc/STBase.lhs b/ghc/lib/ghc/STBase.lhs index 1eaa104..9477be0 100644 --- a/ghc/lib/ghc/STBase.lhs +++ b/ghc/lib/ghc/STBase.lhs @@ -56,13 +56,6 @@ returnST = return thenST = (>>=) seqST = (>>) -unsafeInterleaveST :: ST s a -> ST s a -unsafeInterleaveST (ST m) = ST $ \ s -> - let - (r, new_s) = m s - in - (r, s) - fixST :: (a -> ST s a) -> ST s a fixST k = ST $ \ s -> let (ST k_r) = k r @@ -95,17 +88,6 @@ type PrimIO a = ST RealWorld a fixPrimIO :: (a -> PrimIO a) -> PrimIO a fixPrimIO = fixST -{-# GENERATE_SPECS unsafePerformPrimIO a #-} -unsafePerformPrimIO :: PrimIO a -> a - -- We give a fresh definition here. There are no - -- magical universal types kicking around. -unsafePerformPrimIO (ST m) - = case m (S# realWorld#) of - (r,_) -> r - -unsafeInterleavePrimIO :: PrimIO a -> PrimIO a -unsafeInterleavePrimIO = unsafeInterleaveST - -- the following functions are now there for backward compatibility mostly: {-# GENERATE_SPECS returnPrimIO a #-}