summaryrefslogtreecommitdiff
path: root/compiler/cmm/OptimizationFuel.hs
diff options
context:
space:
mode:
authorSimon Marlow <marlowsd@gmail.com>2012-01-17 15:21:37 +0000
committerSimon Marlow <marlowsd@gmail.com>2012-01-17 15:21:37 +0000
commit1ebefd3dabc865b7608201ecbf5d89bbbb2233f2 (patch)
treef73933d19d79c99ddc5359f9caa4c64fa73c0037 /compiler/cmm/OptimizationFuel.hs
parent00c3616cfebad6b3e8bff6fa0eb1513ca0bd188c (diff)
downloadhaskell-1ebefd3dabc865b7608201ecbf5d89bbbb2233f2.tar.gz
remove unused code
Diffstat (limited to 'compiler/cmm/OptimizationFuel.hs')
-rw-r--r--compiler/cmm/OptimizationFuel.hs26
1 files changed, 3 insertions, 23 deletions
diff --git a/compiler/cmm/OptimizationFuel.hs b/compiler/cmm/OptimizationFuel.hs
index 4f20262121..70cfe92862 100644
--- a/compiler/cmm/OptimizationFuel.hs
+++ b/compiler/cmm/OptimizationFuel.hs
@@ -8,10 +8,8 @@
module OptimizationFuel
( OptimizationFuel, amountOfFuel, tankFilledTo, unlimitedFuel, anyFuelLeft, oneLessFuel
, OptFuelState, initOptFuelState
- , FuelConsumer, FuelUsingMonad, FuelState
- , fuelGet, fuelSet, lastFuelPass, setFuelPass
- , fuelExhausted, fuelDec1, tryWithFuel
- , runFuelIO, runInfiniteFuelIO, fuelConsumingPass
+ , FuelConsumer, FuelState
+ , runFuelIO, runInfiniteFuelIO
, FuelUniqSM
, liftUniq
)
@@ -65,13 +63,6 @@ data FuelState = FuelState { fs_fuel :: {-# UNPACK #-} !OptimizationFuel,
fs_lastpass :: String }
newtype FuelUniqSM a = FUSM { unFUSM :: UniqSupply -> FuelState -> (# a, UniqSupply, FuelState #) }
-fuelConsumingPass :: String -> FuelConsumer a -> FuelUniqSM a
-fuelConsumingPass name f = do setFuelPass name
- fuel <- fuelGet
- let (a, fuel') = f fuel
- fuelSet fuel'
- return a
-
runFuelIO :: OptFuelState -> FuelUniqSM a -> IO a
runFuelIO fs (FUSM f) =
do pass <- readIORef (pass_ref fs)
@@ -90,7 +81,7 @@ runInfiniteFuelIO fs (FUSM f) =
do pass <- readIORef (pass_ref fs)
u <- mkSplitUniqSupply 'u'
case f u (FuelState unlimitedFuel pass) of
- (# a, _, FuelState fuel' pass' #) -> do
+ (# a, _, FuelState _fuel pass' #) -> do
writeIORef (pass_ref fs) pass'
return a
@@ -122,17 +113,6 @@ class Monad m => FuelUsingMonad m where
lastFuelPass :: m String
setFuelPass :: String -> m ()
-fuelExhausted :: FuelUsingMonad m => m Bool
-fuelExhausted = fuelGet >>= return . anyFuelLeft
-
-fuelDec1 :: FuelUsingMonad m => m ()
-fuelDec1 = fuelGet >>= fuelSet . oneLessFuel
-
-tryWithFuel :: FuelUsingMonad m => a -> m (Maybe a)
-tryWithFuel r = do f <- fuelGet
- if anyFuelLeft f then fuelSet (oneLessFuel f) >> return (Just r)
- else return Nothing
-
instance FuelUsingMonad FuelUniqSM where
fuelGet = extract fs_fuel
lastFuelPass = extract fs_lastpass