rename abort -> error, emacs-rex -> idris
commit0abbd532539aa8b2304f4c77514c5d0f761938b0
authorHannes Mehnert <hannes@mehnert.org>
dateMon 15 Apr 2013, 15:03 (14 years ago)
parent52f5e73
src/Idris/IdeSlave.hs+1−1
@@ -108,7 +108,7 @@ sendMessage :: SExpable a => Integer -> Either a a -> IO ()
108108sendMessage id s =
109109 -- TODO: get real output here!!!
110110 case s of
111− Left err -> putStrLn $ conv (List [SymbolAtom "abort", toSExp err])
111+ Left err -> putStrLn $ conv (List [SymbolAtom "error", toSExp err])
112112 Right succ -> putStrLn $ conv (List [SymbolAtom "ok", toSExp succ])
113113 where conv sexp =
114114 let str = sExpToString (List [SymbolAtom "return", sexp, IntegerAtom id]) in (getHexLength str) ++ str
src/Idris/REPL.hs+1−1
@@ -87,7 +87,7 @@ ideslave orig mods
8787 = do idrisCatch
8888 (do x <- liftIO $ receiveMessage
8989 case x of
90− (List [(SymbolAtom "emacs-rex"), cmd, (IntegerAtom id)]) ->
90+ (List [(SymbolAtom "idris"), cmd, (IntegerAtom id)]) ->
9191 case sexpToCommand cmd of
9292 Just (Interpret cmd) ->
9393 do i <- getIState