Handbook
Glossary
stream-exhausted ( n stream word -- * )
Throwing exceptions on stream exhaustion
Prev:
throw-on-eof ( ..a quot: ( ..a -- ..b ) -- ..b )
Vocabulary
io
.
streams
.
throwing
Inputs
n
an
integer
stream
an input stream
word
a
word
Outputs
None
Word description
The exception that gets thrown when a stream is exhausted.
Definition
IN:
io.streams.throwing
ERROR:
stream-exhausted
n stream word
;