mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
removed message showing what modules are read unless in verbose mode
This commit is contained in:
@@ -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)
|
||||
|
||||
Reference in New Issue
Block a user