diff options
Diffstat (limited to 'src/GF/Infra')
| -rw-r--r-- | src/GF/Infra/ReadFiles.hs | 5 | ||||
| -rw-r--r-- | src/GF/Infra/UseIO.hs | 2 |
2 files changed, 4 insertions, 3 deletions
diff --git a/src/GF/Infra/ReadFiles.hs b/src/GF/Infra/ReadFiles.hs index edbed4047..683eef04d 100644 --- a/src/GF/Infra/ReadFiles.hs +++ b/src/GF/Infra/ReadFiles.hs @@ -35,8 +35,9 @@ getAllFiles opts ps env file = do -- read module headers from all files recursively ds0 <- getImports ps file let ds = [((snd m,map fst ms),p) | ((m,ms),p) <- ds0] - ioeIO $ putStrLn $ "all modules:" +++ show (map (fst . fst) ds) - + if oElem beSilent opts + then return () + else ioeIO $ putStrLn $ "all modules:" +++ show (map (fst . fst) ds) -- get a topological sorting of files: returns file names --- deletes paths ds1 <- ioeErr $ either return diff --git a/src/GF/Infra/UseIO.hs b/src/GF/Infra/UseIO.hs index 3dc41fadc..d06904297 100644 --- a/src/GF/Infra/UseIO.hs +++ b/src/GF/Infra/UseIO.hs @@ -208,7 +208,7 @@ putStrE = ioeIO . putStrFlush putPointE :: Options -> String -> IOE a -> IOE a putPointE opts msg act = do - let ve x = if oElem beVerbose opts then x else return () + let ve x = if oElem beSilent opts then return () else x ve $ ioeIO $ putStrFlush msg a <- act --- ve $ ioeIO $ putShow' id a --- replace by a statistics command |