@@ -1186,10 +1186,11 @@ idrisMain opts =
1187 historyFile <- fmap (</> "repl" </> "history") getIdrisUserDataDir
1187 historyFile <- fmap (</> "repl" </> "history") getIdrisUserDataDir
1189− when (runrepl && not idesl) $ initScript
1189+ when (runrepl && not idesl) $ do
1190− stvar <- runIO $ newMVar ist
1191+ stvar <- runIO $ newMVar ist
1191− when (runrepl && not idesl) $ startServer ist stvar inputs
1192+ startServer ist stvar inputs
1192− when (runrepl && not idesl) $ runInputT (replSettings (Just historyFile)) $ repl ist stvar inputs
1193+ runInputT (replSettings (Just historyFile)) $ repl ist stvar inputs
1193 when (idesl) $ ideslaveStart ist inputs
1194 when (idesl) $ ideslaveStart ist inputs
1194 ok <- noErrors
1195 ok <- noErrors
1195 when (not ok) $ runIO (exitWith (ExitFailure 1))
1196 when (not ok) $ runIO (exitWith (ExitFailure 1))