Allow unlimited character pushback in unget-char.

Fixing read_until_match will require this feature.

* socket.c (dgram_get_char): Treat unget_c as a
cons-based stack; pop a character from it if
available.
(dgram_unget_char): Push the character onto unget_c
rather than storing the characer into unget_c.

* stream.c (stdio_get_char, stdio_unget_char): Closely
analogous changes to the ones in dgram_get_char
and dgram_unget_char, respectively.

* txr.1: Documentation improved and updated.

0 files changed, 0 insertions, 0 deletions