@@ -270,10 +270,11 @@ iputStrLn s = do i <- getIState
270270 IdeSlave n ->
271271 case span (/=':') s of
272272 (fn, ':':rest) -> case span isDigit rest of
273− ([], ':':msg) -> iWarn (FC fn 0) msg
274− ([], msg) -> iWarn (FC fn 0) msg
273+ ([], ':':msg) -> write
274+ ([], msg) -> write
275275 (num, ':':msg) -> iWarn (FC fn (read num)) msg
276− _ -> liftIO $ putStrLn $ convSExp "write-string" s n
276+ _ -> write
277+ where write = liftIO $ putStrLn $ convSExp "write-string" s n
277278
278279iWarn :: FC -> String -> Idris ()
279280iWarn fc err = do i <- getIState