(* |
Data string contains a chunk of data from the file. If break_on_lines , then
data will be a single line (without the terminating newline).
|
*) | |
(* |
Warnings do not close the stream and whatever is reading can keep on doing so.
The string is the file name.
|
*) | |
(* |
Errors cause the stream to be closed. The string is the file name.
|
*) |