diff options
| author | aarne <aarne@chalmers.se> | 2011-02-26 10:25:09 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2011-02-26 10:25:09 +0000 |
| commit | 66f95c2cb75248b663bbe67821a3fb8f9f12bf88 (patch) | |
| tree | 69a6546bb5e6d07bb7a295259466f1b9691a4336 /src | |
| parent | 445a3aafebe02c415c76392399bdf77a00e680f5 (diff) | |
removed message showing what modules are read unless in verbose mode
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Compile.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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) |