git.iko.soy/Idris-dev
on master help sign in
layout improvement
b9df272Hannes Mehnert
src/Idris/IdeSlave.hs+1−1
compare with master
unifiedsplit
@@ -94,7 +94,7 @@ sexpToCommand (SexpList (x:[])) = se
94sexpToCommand (SexpList [SymbolAtom "interpret", StringAtom cmd]) = Just (Interpret cmd)
94sexpToCommand (SexpList [SymbolAtom "interpret", StringAtom cmd]) = Just (Interpret cmd)
95sexpToCommand (SexpList [SymbolAtom "repl-completions", StringAtom prefix]) = Just (REPLCompletions prefix)
95sexpToCommand (SexpList [SymbolAtom "repl-completions", StringAtom prefix]) = Just (REPLCompletions prefix)
96sexpToCommand (SexpList [SymbolAtom "load-file", StringAtom filename]) = Just (LoadFile filename)
96sexpToCommand (SexpList [SymbolAtom "load-file", StringAtom filename]) = Just (LoadFile filename)
97−sexpToCommand _ = Nothing
97+sexpToCommand _ = Nothing
98
98
99parseMessage :: String -> (SExp, Integer)
99parseMessage :: String -> (SExp, Integer)
100parseMessage x = case receiveString x of
100parseMessage x = case receiveString x of