Error
Error type signaled when attempting to read a file that does not exist.
io
streams
Signaled when an input file stream creation function tries to read a file that does not exist. It is a subclass of <file-error>.
None.
<end-of-stream-error>, page 67