11.3.94 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:

permission_error

Trying to read beyond end of Stream

See Also

ref-iou-cin.