mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 11:42:49 -06:00
remove the obsolete putCPU, putPoint and putPoint' functions
This commit is contained in:
@@ -16,7 +16,6 @@
|
|||||||
module GF.Devel.UseIO where
|
module GF.Devel.UseIO where
|
||||||
|
|
||||||
import GF.Data.Operations
|
import GF.Data.Operations
|
||||||
import GF.Devel.Arch (prCPU)
|
|
||||||
import GF.Infra.Option
|
import GF.Infra.Option
|
||||||
import GF.Today (libdir)
|
import GF.Today (libdir)
|
||||||
|
|
||||||
@@ -60,27 +59,6 @@ errOptIO os e m = case m of
|
|||||||
putIfVerb os k
|
putIfVerb os k
|
||||||
return e
|
return e
|
||||||
|
|
||||||
prOptCPU :: Options -> Integer -> IO Integer
|
|
||||||
prOptCPU opts = if (oElem noCPU opts) then (const (return 0)) else prCPU
|
|
||||||
|
|
||||||
putCPU :: IO ()
|
|
||||||
putCPU = do
|
|
||||||
prCPU 0
|
|
||||||
return ()
|
|
||||||
|
|
||||||
putPoint :: Show a => Options -> String -> IO a -> IO a
|
|
||||||
putPoint = putPoint' id
|
|
||||||
|
|
||||||
putPoint' :: Show a => (c -> a) -> Options -> String -> IO c -> IO c
|
|
||||||
putPoint' f opts msg act = do
|
|
||||||
let sil x = if oElem beSilent opts then return () else x
|
|
||||||
ve x = if oElem beVerbose opts then x else return ()
|
|
||||||
ve $ putStrLn msg
|
|
||||||
a <- act
|
|
||||||
ve $ putShow' f a
|
|
||||||
ve $ putCPU
|
|
||||||
return a
|
|
||||||
|
|
||||||
readFileIf f = catch (readFile f) (\_ -> reportOn f) where
|
readFileIf f = catch (readFile f) (\_ -> reportOn f) where
|
||||||
reportOn f = do
|
reportOn f = do
|
||||||
putStrLnFlush ("File " ++ f ++ " does not exist. Returned empty string")
|
putStrLnFlush ("File " ++ f ++ " does not exist. Returned empty string")
|
||||||
|
|||||||
Reference in New Issue
Block a user