git.iko.soy/Idris-dev
on master help sign in
layout improvement
commitb9df2727365b566b36cd4aefefaa6ee8e9b70ffb authorHannes Mehnert <hannes@mehnert.org> dateFri 17 May 2013, 21:20 (13 years ago) parentf540cf5
1 file changed+1−1
compare with master
unifiedsplit
src/Idris/IdeSlave.hs+1−1
src/Idris/IdeSlave.hs+1−1
@@ -94,7 +94,7 @@ sexpToCommand (SexpList (x:[])) = se
9494sexpToCommand (SexpList [SymbolAtom "interpret", StringAtom cmd]) = Just (Interpret cmd)
9595sexpToCommand (SexpList [SymbolAtom "repl-completions", StringAtom prefix]) = Just (REPLCompletions prefix)
9696sexpToCommand (SexpList [SymbolAtom "load-file", StringAtom filename]) = Just (LoadFile filename)
97−sexpToCommand _ = Nothing
97+sexpToCommand _ = Nothing
9898
9999parseMessage :: String -> (SExp, Integer)
100100parseMessage x = case receiveString x of