@@ -93,7 +93,7 @@ getChar = map cast $ foreign FFI_C "getchar" (IO Int)
93||| so that output is written immediately, and never stored in the buffer
93||| so that output is written immediately, and never stored in the buffer
94||| and the next input item is read and returned
94||| and the next input item is read and returned
96−||| this is useful to circumvent problem with IO on some windows system
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
97||| where stdout output sometimes is only shown after prompted input from
99disableBuffering : IO ()
99disableBuffering : IO ()