@@ -224,9 +224,7 @@ ideslave orig mods
224224 do clearErr
225225 putIState (orig { idris_options = idris_options i,
226226 idris_outputmode = (IdeSlave id) })
227− idrisCatch (do mod <- loadModule' stdout filename
228− return ())
229− (setAndReport)
227+ loadInputs stdout [filename]
230228 isetPrompt (mkPrompt [filename])
231229 -- Report either success or failure
232230 i <- getIState
@@ -346,7 +344,7 @@ processInput stvar cmd orig inputs
346344 , idris_colourTheme = idris_colourTheme i
347345 }
348346 clearErr
349− mod <- loadModule stdout f
347+ mod <- loadInputs stdout [f]
350348 return (Just [f])
351349 Success (ModImport f) ->
352350 do clearErr