From af4886dace8214aaa2adf0d55eb836511ccb5908 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Mon, 25 Jun 2012 14:47:09 +0000
Subject: [PATCH] removed spurious empty warnings

---
 src/compiler/GF/Infra/CheckM.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/compiler/GF/Infra/CheckM.hs b/src/compiler/GF/Infra/CheckM.hs
index d845dd4d4..e29dbb321 100644
--- a/src/compiler/GF/Infra/CheckM.hs
+++ b/src/compiler/GF/Infra/CheckM.hs
@@ -95,7 +95,7 @@ checkMapRecover f mp = do
     ss@(_:_) -> checkError (text (unlines ss)) 
     _   -> do
       let (kx,ss) = unzip [((k,x),s) | (k, Ok (x,s)) <- xs]
-      checkWarn (text (unlines ss))
+      if not (all null ss) then checkWarn (text (unlines ss)) else return ()
       return (Map.fromAscList kx)
 
 checkErr :: Err a -> Check a