The Pascal compiler company
6.6.5.2 It is an error if end-of-file is true immediately prior to any use of get or read.
In other words, it is an error to attempt to read past the end of a file.
This error is reported if I/O checking is enabled.