removed message showing what modules are read unless in verbose mode

This commit is contained in:
aarne
2011-02-26 10:25:09 +00:00
parent 445a3aafeb
commit 66f95c2cb7

View File

@@ -139,7 +139,7 @@ compileOne opts env@(_,srcgr,_) file = do
-- for compiled gf, read the file and update environment
-- also undo common subexp optimization, to enable normal computations
".gfo" -> do
sm00 <- putPointE Normal opts ("+ reading" +++ file) $ ioeIO (decodeFile file)
sm00 <- putPointE Verbose opts ("+ reading" +++ file) $ ioeIO (decodeFile file)
let sm0 = addOptionsToModule opts sm00
intermOut opts DumpSource (ppModule Qualified sm0)