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