@@ -231,7 +231,9 @@ ideslaveStart s orig mods
231 case idris_outputmode i of
231 case idris_outputmode i of
232 IdeSlave n h ->
232 IdeSlave n h ->
233 do runIO $ hPutStrLn h $ IdeSlave.convSExp "protocol-version" IdeSlave.ideSlaveEpoch n
233 do runIO $ hPutStrLn h $ IdeSlave.convSExp "protocol-version" IdeSlave.ideSlaveEpoch n
234− when (mods /= []) (do isetPrompt (mkPrompt mods))
234+ case mods of
235+ a:_ -> runIdeSlaveCommand h n i "" [] (IdeSlave.LoadFile a Nothing)
235 ideslave h orig mods
237 ideslave h orig mods
237getNChar :: Handle -> Int -> String -> IO (String)
239getNChar :: Handle -> Int -> String -> IO (String)
@@ -1350,7 +1352,7 @@ idrisMain opts =
1350 iputStrLn banner
1352 iputStrLn banner
1352 orig <- getIState
1354 orig <- getIState
1353− loadInputs inputs Nothing
1355+ when (not idesl) $ loadInputs inputs Nothing
1355 runIO $ hSetBuffering stdout LineBuffering
1357 runIO $ hSetBuffering stdout LineBuffering