From 3143d1e2496a801ba569b0579ee77f974014b5d7 Mon Sep 17 00:00:00 2001 From: sof Date: Sat, 5 Jul 1997 01:00:41 +0000 Subject: [PATCH] [project @ 1997-07-05 01:00:41 by sof] Moved unsafe* to UnsafeST --- ghc/lib/ghc/STBase.lhs | 18 ------------------ 1 file changed, 18 deletions(-) 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 #-} -- 1.7.10.4