git.iko.soy/Idris-dev
on master help sign in
Set line buffering on stdout in REPL setup
f59ae21Melvar Chen
src/Idris/REPL.hs+2
compare with master
unifiedsplit
@@ -776,6 +776,8 @@ idrisMain opts =
776
776
777 loadInputs inputs
777 loadInputs inputs
778
778
779+ liftIO $ hSetBuffering stdout LineBuffering
780+
779 ok <- noErrors
781 ok <- noErrors
780 when ok $ case output of
782 when ok $ case output of
781 [] -> return ()
783 [] -> return ()