From 6de94f53002263878bfb03e31d26caefa4872f20 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Wed, 20 May 2009 17:05:58 +0000
Subject: fix the generation of warnings in CheckGrammar. They are printed even
 in quiet mode and the prefix "Warning" is added automatically

---
 src/GF/Compile.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/GF/Compile.hs')

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
-- 
cgit v1.2.3