[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Issue: UNREAD-CHAR-AFTER-PEEK-CHAR (Version 2)



I am in favor of this, and am glad to see this point brought up.  In fact,
I would go further and make it an error to issue UNREAD-CHAR after PEEK-CHAR
in general.  Semantics of file and non-file streams should be identical,
as much as is practical.