readline

[JONL at MIT-MC (Jon L White)]

Currently, (READLINE input-arg eof-val) will return the 
eof-val if the last "line" of the file doesn't have a carriage
return ending it;  KMP suggests that the eof condition act like a
carriage-return character, so that READLINE will return the
non-null line.  (If there are no characters "buffered up" by
READLINE, then it can return the eof-val).  Also, after
closing a line "by force" when the eof is encountered, the
file should not be closed, but rather (FILEPOS input-arg T)
should be done, so that the subsequent call to READLINE (or indeed
any inputting fucntion) will cause the signalling of an eof condition.