diff options
| author | aarne <aarne@chalmers.se> | 2012-06-25 14:47:09 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2012-06-25 14:47:09 +0000 |
| commit | bc8ce3f7cae211314f2e64fb4cbe4259c47f4129 (patch) | |
| tree | 2047074a77d15c34d0642eb8ff03bd540d08cb67 /src/compiler/GF | |
| parent | 382f47273136e7ffb25033b0cf0ac42fc85a325a (diff) | |
removed spurious empty warnings
Diffstat (limited to 'src/compiler/GF')
| -rw-r--r-- | src/compiler/GF/Infra/CheckM.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |