Propagate UNREAD-CHAR from an ECHO-STREAM to its actual input stream (R. M. Kreuter)

This commit is contained in:
Juanjo Garcia-Ripoll 2012-02-03 18:29:53 +01:00
parent 083e6e1e85
commit 72f7b1ea7d

View file

@ -2051,6 +2051,7 @@ echo_read_char(cl_object strm)
ecl_write_char(c, ECHO_STREAM_OUTPUT(strm));
} else {
strm->stream.last_code[0] = EOF;
ecl_read_char(ECHO_STREAM_INPUT(strm));
}
return c;
}
@ -2068,6 +2069,7 @@ echo_unread_char(cl_object strm, ecl_character c)
unread_twice(strm);
}
strm->stream.last_code[0] = c;
ecl_unread_char(c, ECHO_STREAM_INPUT(strm));
}
static ecl_character