Revision 07fc868ecfd31fecc7c3f964730f946c31f5ab80 authored by Joshua J. Cogliati on 19 June 2020, 15:11:03 UTC, committed by Joshua J. Cogliati on 19 June 2020, 15:11:03 UTC
1 parent ecd99ed
rcs
READCHARS num
RCS num
reads "num" characters from the read stream and outputs those
characters as a word. If the read stream is a file, and the end of
file is reached, READCHARS outputs the empty list (not the empty
word). If the read stream is a terminal, echoing is turned off
when READCHARS is invoked, and remains off until READLIST or READWORD
is invoked or a Logo prompt is printed. Backslash, vertical bar,
and tilde characters have no special meaning in this context.
Computing file changes ...