Official Description
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.
Simplified Description
In other words, all file output must take place at the end of files.
Error Handling
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.