swh:1:snp:3af89e0c6f482ba7e9545bf8e295ed747de3e1ee
Tip revision: 74aa793fb3f7dd653b5bad8d1ffe800fb481aba0 authored by Dan Malec on 28 January 2023, 17:40:04 UTC
Merge pull request #152 from jrincayc/manual_updates
Merge pull request #152 from jrincayc/manual_updates
Tip revision: 74aa793
readchars
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.