@@ -25,7 +25,7 @@ import Idris.TypeSearch (searchByType)
2525
2626import Text.Trifecta.Result(Result(..))
2727
28−import System.IO (Handle , stdin, stdout)
28+import System.IO (Handle, stdin, stdout, hPutStrLn)
2929import System.Console.Haskeline
3030import System.Console.Haskeline.History
3131import Control.Monad.State.Strict
@@ -94,8 +94,8 @@ prove opt ctxt lit n ty
9494 [([], P Ref n ty, ptm')] ty)
9595 solveDeferred n
9696 case idris_outputmode i of
97− IdeSlave n _ ->
98− iputStrLn $ IdeSlave.convSExp "return" (IdeSlave.SymbolAtom "ok", "") n
97+ IdeSlave n h ->
98+ runIO . hPutStrLn h $ IdeSlave.convSExp "return" (IdeSlave.SymbolAtom "ok", "") n
9999 _ -> return ()
100100
101101elabStep :: ElabState [PDecl] -> ElabD a -> Idris (a, ElabState [PDecl])