No double : in logmsgs without a location

This commit is contained in:
Daniel Gröber 2015-04-12 02:41:57 +02:00
parent 2bf4c80580
commit d7984faf79

View File

@ -60,8 +60,8 @@ gmLog level loc' doc = do
GhcModLog { gmLogLevel = level' } <- gmlHistory GhcModLog { gmLogLevel = level' } <- gmlHistory
let loc | loc' == "" = empty let loc | loc' == "" = empty
| otherwise = text loc' | otherwise = empty <+>: text loc'
msg = gmRenderDoc $ (gmLogLevelDoc level <+>: loc) <+>: doc msg = gmRenderDoc $ (gmLogLevelDoc level <> loc) <+>: doc
msg' = dropWhileEnd isSpace msg msg' = dropWhileEnd isSpace msg
when (Just level <= level') $ when (Just level <= level') $