When there are more readString() calls than lines in a file that's redirected to stdin, the string "undefined" is returned from the readString() call. This is probably not how it should behave; it should either return a Wheel null or throw a runtime error.
When there are more
readString()
calls than lines in a file that's redirected to stdin, the string"undefined"
is returned from thereadString()
call. This is probably not how it should behave; it should either return a Wheelnull
or throw a runtime error.