on master help sign in
output should be (output result)
commit79b87329721d4e576c00923fdbd8f3a79cfcc947 authorHannes Mehnert <hannes@mehnert.org> dateSat 13 Apr 2013, 14:29 (14 years ago) parenta3c8020
1 file changed+2−2
src/Idris/IdeSlave.hs+2−2
src/Idris/IdeSlave.hs+2−2
@@ -103,10 +103,10 @@ receiveString x =
103103
104104sendMessage :: SExpable a => Integer -> Either a a -> IO ()
105105sendMessage id s =
106− -- return value id
106+ -- TODO: get real output here!!!
107107 case s of
108108 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"]])
110110 where conv sexp =
111111 let str = sExpToString (List [SymbolAtom "return", sexp, IntegerAtom id]) in (getHexLength str) ++ str
112112