git.iko.soy/Idris-dev
on master help sign in
Invoke the chaser as a consequence of :l
3448099David Christiansen
src/Idris/REPL.hs+2−4
compare with master
unifiedsplit
@@ -224,9 +224,7 @@ ideslave orig mods
224 do clearErr
224 do clearErr
225 putIState (orig { idris_options = idris_options i,
225 putIState (orig { idris_options = idris_options i,
226 idris_outputmode = (IdeSlave id) })
226 idris_outputmode = (IdeSlave id) })
227− idrisCatch (do mod <- loadModule' stdout filename
227+ loadInputs stdout [filename]
228− return ())
229− (setAndReport)
230 isetPrompt (mkPrompt [filename])
228 isetPrompt (mkPrompt [filename])
231 -- Report either success or failure
229 -- Report either success or failure
232 i <- getIState
230 i <- getIState
@@ -346,7 +344,7 @@ processInput stvar cmd orig inputs
346 , idris_colourTheme = idris_colourTheme i
344 , idris_colourTheme = idris_colourTheme i
347 }
345 }
348 clearErr
346 clearErr
349− mod <- loadModule stdout f
347+ mod <- loadInputs stdout [f]
350 return (Just [f])
348 return (Just [f])
351 Success (ModImport f) ->
349 Success (ModImport f) ->
352 do clearErr
350 do clearErr