The Pascal compiler company
6.6.5.2 It is an error if the file is undefined immediately prior to any use of get or read.
In other words, it is an error to perform input on a file which does not exist.
This error is reported if I/O checking is enabled.