@@ -320,8 +320,6 @@ ideslaveProcess fn (HNF t) = process stdout fn (HNF t)
320320--ideslaveProcess fn TTShell = process stdout fn TTShell -- need some prove mode!
321321ideslaveProcess fn (TestInline t) = process stdout fn (TestInline t)
322322
323−--that most likely does not work, since we need to wrap
324−--input/output of the executed binary...
325323ideslaveProcess fn Execute = do process stdout fn Execute
326324 iPrintResult ""
327325ideslaveProcess fn (Compile codegen f) = do process stdout fn (Compile codegen f)
@@ -892,17 +890,19 @@ process h fn (TestInline t)
892890 c <- colourise
893891 iPrintResult (showTm ist (delab ist tm'))
894892process h fn Execute
895− = do (m, _) <- elabVal toplevel False
893+ = do ist <- getIState
894+ (m, _) <- elabVal toplevel False
896895 (PApp fc
897896 (PRef fc (sUN "run__IO"))
898897 [pexp $ PRef fc (sNS (sUN "main") ["Main"])])
899−-- (PRef (FC "main" 0) (NS (UN "main") ["main"]))
900898 (tmpn, tmph) <- runIO tempfile
901899 runIO $ hClose tmph
902900 t <- codegen
903901 compile t tmpn m
904− runIO $ system tmpn
905− return ()
902+ case idris_outputmode ist of
903+ RawOutput -> do runIO $ system tmpn
904+ return ()
905+ IdeSlave n -> do runIO . hPutStrLn h $ IdeSlave.convSExp "run-program" tmpn n
906906 where fc = fileFC "main"
907907process h fn (Compile codegen f)
908908 = do (m, _) <- elabVal toplevel False