on master help sign in
output should be (output result)
79b8732Hannes Mehnert
src/Idris/IdeSlave.hs+2−2
@@ -103,10 +103,10 @@ receiveString x =
103
103
104sendMessage :: SExpable a => Integer -> Either a a -> IO ()
104sendMessage :: SExpable a => Integer -> Either a a -> IO ()
105sendMessage id s =
105sendMessage id s =
106− -- return value id
106+ -- TODO: get real output here!!!
107 case s of
107 case s of
108 Left err -> putStrLn $ conv (List [SymbolAtom "abort", toSExp err])
108 Left err -> putStrLn $ conv (List [SymbolAtom "abort", toSExp err])
109− Right succ -> putStrLn $ conv (List [SymbolAtom "ok", toSExp succ])
109+ Right succ -> putStrLn $ conv (List [SymbolAtom "ok", List [toSExp succ, StringAtom "no output"]])
110 where conv sexp =
110 where conv sexp =
111 let str = sExpToString (List [SymbolAtom "return", sexp, IntegerAtom id]) in (getHexLength str) ++ str
111 let str = sExpToString (List [SymbolAtom "return", sexp, IntegerAtom id]) in (getHexLength str) ++ str
112
112