@@ -25,7 +25,7 @@ import Idris.TypeSearch (searchByType)
26import Text.Trifecta.Result(Result(..))
26import Text.Trifecta.Result(Result(..))
28−import System.IO (Handle , stdin, stdout)
28+import System.IO (Handle, stdin, stdout, hPutStrLn)
29import System.Console.Haskeline
29import System.Console.Haskeline
30import System.Console.Haskeline.History
30import System.Console.Haskeline.History
31import Control.Monad.State.Strict
31import Control.Monad.State.Strict
@@ -94,8 +94,8 @@ prove opt ctxt lit n ty
94 [([], P Ref n ty, ptm')] ty)
94 [([], P Ref n ty, ptm')] ty)
95 solveDeferred n
95 solveDeferred n
96 case idris_outputmode i of
96 case idris_outputmode i of
97− IdeSlave n _ ->
97+ IdeSlave n h ->
98− iputStrLn $ IdeSlave.convSExp "return" (IdeSlave.SymbolAtom "ok", "") n
98+ runIO . hPutStrLn h $ IdeSlave.convSExp "return" (IdeSlave.SymbolAtom "ok", "") n
99 _ -> return ()
99 _ -> return ()
101elabStep :: ElabState [PDecl] -> ElabD a -> Idris (a, ElabState [PDecl])
101elabStep :: ElabState [PDecl] -> ElabD a -> Idris (a, ElabState [PDecl])