From 5536c31585fe3dec7b06365293febbf12b43d1fc Mon Sep 17 00:00:00 2001 From: aarne Date: Sat, 26 Feb 2011 10:25:09 +0000 Subject: [PATCH] removed message showing what modules are read unless in verbose mode --- src/compiler/GF/Compile.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/compiler/GF/Compile.hs b/src/compiler/GF/Compile.hs index 083d4eb35..00b08dbf3 100644 --- a/src/compiler/GF/Compile.hs +++ b/src/compiler/GF/Compile.hs @@ -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)