Make ihWarn work properly with emptyFC on command line
commitf9e8ec294b5e767fd58bf4fbede0cd17ab68a888
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateFri 2 May 2014, 20:30 (12 years ago)
parentda45e7d
src/Idris/Output.hs+3−1
@@ -23,7 +23,9 @@ ihWarn h fc err = do i <- getIState
2323 case idris_outputmode i of
2424 RawOutput ->
2525 do err' <- iRender . fmap (fancifyAnnots i) $
26− text (show fc) <> colon <//> err
26+ if fc_fname fc /= ""
27+ then text (show fc) <> colon <//> err
28+ else err
2729 runIO . hPutStrLn h $ displayDecorated (consoleDecorate i) err'
2830 IdeSlave n ->
2931 do err' <- iRender . fmap (fancifyAnnots i) $ err