skip_line/[0,1]
skip_line
skip_line(
+Stream)
Skip the remaining input characters on the current line on the current input stream, or on Stream.
Stream errors (see ref-iou-sfh-est), plus:
existence_error
Coding with skip_line/[0,1]
and at_end_of_line/[0,1]
to handle line
input is more portable among different operating systems than checking end
of line by the input character code.
get0/[1,2]
, at_end_of_line/[0,1]
,
at_end_of_file/[0,1]
.