diff options
| author | krasimir <krasimir@chalmers.se> | 2009-05-20 17:05:58 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-05-20 17:05:58 +0000 |
| commit | 6de94f53002263878bfb03e31d26caefa4872f20 (patch) | |
| tree | 9cdbf2abea5083a50ee705c4298f8eeea7c86dec /src/GF/Compile.hs | |
| parent | 880665ad0fb52dbbfdbe8e0300806fd90a8ca0b8 (diff) | |
fix the generation of warnings in CheckGrammar. They are printed even in quiet mode and the prefix "Warning" is added automatically
Diffstat (limited to 'src/GF/Compile.hs')
| -rw-r--r-- | src/GF/Compile.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Compile.hs b/src/GF/Compile.hs index d96a37225..c2fc3a339 100644 --- a/src/GF/Compile.hs +++ b/src/GF/Compile.hs @@ -194,7 +194,7 @@ compileOne opts env@(_,srcgr,_) file = do compileSourceModule :: Options -> CompileEnv -> SourceModule -> IOE (Int,SourceModule) compileSourceModule opts env@(k,gr,_) mo@(i,mi) = do - let putp = putPointE Normal opts + let puts = putPointE Quiet opts putpp = putPointE Verbose opts mo1 <- ioeErr $ rebuildModule gr mo @@ -213,7 +213,7 @@ compileSourceModule opts env@(k,gr,_) mo@(i,mi) = do intermOut opts DumpRename (ppModule Qualified mo2) (mo3:_,warnings) <- putpp " type checking" $ ioeErr $ showCheckModule mos mo2 - if null warnings then return () else putp warnings $ return () + if null warnings then return () else puts warnings $ return () intermOut opts DumpTypeCheck (ppModule Qualified mo3) (k',mo3r:_) <- putpp " refreshing " $ ioeErr $ refreshModule (k,mos) mo3 |