@@ -84,20 +84,21 @@ repl orig mods
8484-- | Run the IdeSlave
8585ideslave :: IState -> [FilePath] -> Idris ()
8686ideslave orig mods
87− = do x <- liftIO $ receiveMessage
88− case x of
89− Nothing -> do liftIO $ sendMessage (Just "did not understand")
90− Just (Interpret cmd) -> do i <- getIState
91− let fn = case mods of
92− (f:_) -> f
93− _ -> ""
94− case parseCmd i cmd of
95− Left err -> do liftIO $ sendMessage (show err)
96− Right cmd -> do idrisCatch (do xs <- process fn cmd
97− liftIO $ sendMessage xs)
98− (\e -> do liftIO $ sendMessage (show e))
99− Just y -> do liftIO $ sendMessage (Just "understood you!")
100− liftIO $ sendMessage (Just "Hello world")
87+ = do idrisCatch (do x <- liftIO $ receiveMessage
88+ case x of
89+ Nothing -> do liftIO $ sendMessage (Just "did not understand")
90+ Just (Interpret cmd) -> do i <- getIState
91+ let fn = case mods of
92+ (f:_) -> f
93+ _ -> ""
94+ case parseCmd i cmd of
95+ Left err -> do liftIO $ sendMessage (show err)
96+ Right cmd -> do idrisCatch (do xs <- process fn cmd
97+ liftIO $ sendMessage xs)
98+ (\e -> do liftIO $ sendMessage (show e))
99+ Just y -> do liftIO $ sendMessage (Just "understood you!")
100+ liftIO $ sendMessage (Just "Hello world"))
101+ (\e -> do liftIO $ sendMessage (show e))
101102 ideslave orig mods
102103
103104-- | The prompt consists of the currently loaded modules, or "Idris" if there are none