mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 19:42:50 -06:00
removed spurious empty warnings
This commit is contained in:
@@ -95,7 +95,7 @@ checkMapRecover f mp = do
|
|||||||
ss@(_:_) -> checkError (text (unlines ss))
|
ss@(_:_) -> checkError (text (unlines ss))
|
||||||
_ -> do
|
_ -> do
|
||||||
let (kx,ss) = unzip [((k,x),s) | (k, Ok (x,s)) <- xs]
|
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)
|
return (Map.fromAscList kx)
|
||||||
|
|
||||||
checkErr :: Err a -> Check a
|
checkErr :: Err a -> Check a
|
||||||
|
|||||||
Reference in New Issue
Block a user