diff options
| author | aarne <unknown> | 2004-06-03 19:31:39 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-06-03 19:31:39 +0000 |
| commit | e78e5a6af7d92a2596d587588b6fabc03618e8d3 (patch) | |
| tree | 83d22d534aa856d2e03cb6d0b141f3ded5a4d791 /src/GF/Compile/Compile.hs | |
| parent | 7716f818869971da138cf706c124a6be73bbab62 (diff) | |
SymbPN and SymbCN in resources
Diffstat (limited to 'src/GF/Compile/Compile.hs')
| -rw-r--r-- | src/GF/Compile/Compile.hs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/GF/Compile/Compile.hs b/src/GF/Compile/Compile.hs index 88f601a18..cfe8376ec 100644 --- a/src/GF/Compile/Compile.hs +++ b/src/GF/Compile/Compile.hs @@ -87,15 +87,16 @@ compileModule opts1 st0 file = do let ps = if useFileOpt then (map (prefixPathName fpath) ps0) else ps0 - ioeIO $ putStrLn $ "module search path:" +++ show ps ---- + let ioeIOIf = if oElem beSilent opts then (const (return ())) else ioeIO + ioeIOIf $ putStrLn $ "module search path:" +++ show ps ---- let putp = putPointE opts let st = st0 --- if useFileOpt then emptyShellState else st0 let rfs = readFiles st let file' = if useFileOpt then justFileName file else file -- to find file itself files <- getAllFiles opts ps rfs file' - ioeIO $ putStrLn $ "files to read:" +++ show files ---- + ioeIOIf $ putStrLn $ "files to read:" +++ show files ---- let names = map justModuleName files - ioeIO $ putStrLn $ "modules to include:" +++ show names ---- + ioeIOIf $ putStrLn $ "modules to include:" +++ show names ---- let env0 = compileEnvShSt st names (_,sgr,cgr) <- foldM (compileOne opts) env0 files t <- ioeIO getNowTime |