@@ -125,12 +125,12 @@ ideslave orig mods
125 Failure err -> iPrintError $ show (fixColour c err)
125 Failure err -> iPrintError $ show (fixColour c err)
126 Success (Prove n') -> do iPrintResult ""
126 Success (Prove n') -> do iPrintResult ""
127 idrisCatch
127 idrisCatch
128− (do process fn (Prove n'))
128+ (process fn (Prove n'))
129− (\e -> do iPrintError $ show e)
129+ (\e -> getIState >>= iPrintError . flip pshow e)
130 isetPrompt (mkPrompt mods)
130 isetPrompt (mkPrompt mods)
131 Success cmd -> idrisCatch
131 Success cmd -> idrisCatch
132− (do ideslaveProcess fn cmd)
132+ (ideslaveProcess fn cmd)
133− (\e -> do iPrintError $ show e)
133+ (\e -> getIState >>= iPrintError . flip pshow e)
134 Just (REPLCompletions str) ->
134 Just (REPLCompletions str) ->
135 do (unused, compls) <- replCompletion (reverse str, "")
135 do (unused, compls) <- replCompletion (reverse str, "")
136 let good = SexpList [SymbolAtom "ok", toSExp (map replacement compls, reverse unused)]
136 let good = SexpList [SymbolAtom "ok", toSExp (map replacement compls, reverse unused)]