diff options
Diffstat (limited to 'src')
| -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 |