11.3.93 get_char/[1,2] [ISO]

Synopsis

get_char(-Char)

get_char(+Stream, -Char)

Unifies Char with the next char from Stream or with end_of_file if there are no more characters.

Arguments

Stream

stream_object, must be ground.

Valid input text stream, defaults to the current input stream.

Char

char or one of [end_of_file]

Exceptions

Stream errors (see ref-iou-sfh-est), plus:

existence_error

Trying to read beyond end of Stream

See Also

ref-iou-cin.