on master help sign in
Ctrl-D now quits repl
commitbe2d7fa087d0fc71023c465d2997f990322e91ce authorEdwin Brady <eb@cs.st-andrews.ac.uk> dateThu 17 Nov 2011, 16:22 (15 years ago) parent9a59cb5
1 file changed+1−1
src/Idris/REPL.hs+1−1
src/Idris/REPL.hs+1−1
@@ -32,7 +32,7 @@ repl orig mods
3232 = do let prompt = mkPrompt mods
3333 x <- lift $ readline (prompt ++ "> ")
3434 case x of
35− Nothing -> repl orig mods
35+ Nothing -> return ()
3636 Just input -> do lift $ addHistory input
3737 ms <- processInput input orig mods
3838 case ms of