on master help sign in
Ctrl-D now quits repl
be2d7faEdwin Brady
src/Idris/REPL.hs+1−1
@@ -32,7 +32,7 @@ repl orig mods
32 = do let prompt = mkPrompt mods
32 = do let prompt = mkPrompt mods
33 x <- lift $ readline (prompt ++ "> ")
33 x <- lift $ readline (prompt ++ "> ")
34 case x of
34 case x of
35− Nothing -> repl orig mods
35+ Nothing -> return ()
36 Just input -> do lift $ addHistory input
36 Just input -> do lift $ addHistory input
37 ms <- processInput input orig mods
37 ms <- processInput input orig mods
38 case ms of
38 case ms of