Output to undefined file

Official Description It is an error if the file is undefined immediately prior to any use of put, write, writeln or page.

Simplified Description

In other words, it is an error to perform output on a file which does not exist.

Error Handling

This error is reported if I/O checking is enabled.