The Pascal compiler company
The Pascal compiler company
6.6.5.2 It is an error if end-of-file is not true immediately prior to any use of put, write, writeln or page.
In other words, all file output must take place at the end of files.
Irie Pascal supports output in the middle of a file using the seek procedure, and so does not consider this an error and therefore does not report it.