The Pascal compiler company
6.6.6.5 When eof(f) is activated, it is an error if f is undefined.
This error is reported if I/O checking is enabled.