Revision 33bc65673ca25089c9acaf8a9eb44bb780686105 authored by Joshua Cogliati on 30 December 2020, 15:37:02 UTC, committed by GitHub on 30 December 2020, 15:37:02 UTC
2 parent s d8fc446 + 873caa5
Raw File
readrawline
READRAWLINE

	reads a line from the read stream and outputs that line as a word.
	The output is a single word even if the line contains spaces,
	brackets, etc.  If the read stream is a file, and the end of file is
	reached, READRAWLINE outputs the empty list (not the empty word).
	READRAWLINE outputs the exact string of characters as they appear
	in the line, with no special meaning for backslash, vertical bar,
	tilde, or any other formatting characters.

back to top