Eliminate INPUT-BUFFER/DISCARD-CHAR, which couldn't be used with
authorChris Hanson <org/chris-hanson/cph>
Sun, 11 Jan 2004 07:18:05 +0000 (07:18 +0000)
committerChris Hanson <org/chris-hanson/cph>
Sun, 11 Jan 2004 07:18:05 +0000 (07:18 +0000)
commit8d2016b0dd24721e92568606debe7daf943c1c77
treec4e2da4819f2eaecd88932fe1f70dda290d78189
parentdece2475dfe4facf2f10834f12ad87d4198045b5
Eliminate INPUT-BUFFER/DISCARD-CHAR, which couldn't be used with
non-blocking input ports because there was no way to tell whether the
char was discarded.  Instead, use INPUT-BUFFER/READ-CHAR in its place,
which is only slightly slower and does provide this indication.
v7/src/runtime/genio.scm
v7/src/runtime/io.scm
v7/src/runtime/runtime.pkg