@@ -89,13 +89,13 @@ putCharLn c = putStrLn (singleton c)
8989getChar : IO Char
9090getChar = map cast $ foreign FFI_C "getchar" (IO Int)
9191
92−||| Disables buffering in both stdin and stdout
93−||| so that output is written immediately, and never stored in the buffer
92+||| Disables buffering in both stdin and stdout:
93+||| so that output is written immediately (never stored in the buffer)
9494||| and the next input item is read and returned
9595|||
96−||| this is useful to circumvent problem with IO on some Windows system
97−||| where stdout output sometimes is only shown after prompted input from
98−||| stdin
96+||| this is useful to circumvent problems with IO on some Windows systems
97+||| where stdout output right before a prompt is only shown after
98+||| the input-line from stdin is produced
9999disableBuffering : IO ()
100100disableBuffering = foreign FFI_C "idris_disableBuffering" (IO ())
101101