GNU bug report logs - #10491
unread-char and eof

Previous Next

Package: guile;

Reported by: Aleix Conchillo Flaqué <aconchillo <at> gmail.com>

Date: Thu, 12 Jan 2012 20:31:02 UTC

Severity: normal

Done: Daniel Hartwig <mandyke <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Aleix Conchillo Flaqué <aconchillo <at> gmail.com>
To: 10491 <at> debbugs.gnu.org
Subject: bug#10491: unread-char and eof
Date: Thu, 12 Jan 2012 12:14:04 -0800

Whenever eof is reach in a port, a call to unread-char passing eof
triggers an error. I'm not sure what's the right behavior for this,
but I guess the way it is now is just as the user should be
responsible to check eof.

A note in the documentation would help in any case.
This bug report was last modified 13 years and 178 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.