From 29662350dcdb350479576dfa099037fd71debc1a Mon Sep 17 00:00:00 2001 From: krangelov Date: Fri, 20 Sep 2019 10:49:29 +0200 Subject: removed more dead code --- src/compiler/GF/Data/Operations.hs | 36 ------------------------------------ 1 file changed, 36 deletions(-) (limited to 'src/compiler/GF/Data/Operations.hs') diff --git a/src/compiler/GF/Data/Operations.hs b/src/compiler/GF/Data/Operations.hs index 7e16b6d17..cb9b3f9ac 100644 --- a/src/compiler/GF/Data/Operations.hs +++ b/src/compiler/GF/Data/Operations.hs @@ -247,42 +247,6 @@ chunks sep ws = case span (/= sep) ws of readIntArg :: String -> Int readIntArg n = if (not (null n) && all isDigit n) then read n else 0 -{- --- state monad with error; from Agda 6/11/2001 - -newtype STM s a = STM (s -> Err (a,s)) - -appSTM :: STM s a -> s -> Err (a,s) -appSTM (STM f) s = f s - -stm :: (s -> Err (a,s)) -> STM s a -stm = STM - -stmr :: (s -> (a,s)) -> STM s a -stmr f = stm (\s -> return (f s)) - -instance Functor (STM s) where fmap = liftM - -instance Applicative (STM s) where - pure = return - (<*>) = ap - -instance Monad (STM s) where - return a = STM (\s -> return (a,s)) - STM c >>= f = STM (\s -> do - (x,s') <- c s - let STM f' = f x - f' s') - -readSTM :: STM s s -readSTM = stmr (\s -> (s,s)) - -updateSTM :: (s -> s) -> STM s () -updateSTM f = stmr (\s -> ((),f s)) - -writeSTM :: s -> STM s () -writeSTM s = stmr (const ((),s)) --} -- | @return ()@ done :: Monad m => m () done = return () -- cgit v1.2.3