--- orig/p/rts/file.c	Fri Apr  5 14:39:52 2002
+++ p/rts/file.c	Wed Apr 24 01:15:07 2002
@@ -1731,6 +1731,8 @@
     IOERROR_FILE (456, f, False, True);  /* `EOLn' tested for unopened %s */
   if (!fil_tst (f, FiTxt))
     IOERROR_FILE (458, f, False, True);  /* `EOLn' applied to non-text %s */
+  if (fil_tst (f, FiEof))
+    return True; /*IOERROR_FILE (457, f, False, True);*/  /* `EOLn' tested for %s when `EOF' is True */
   if (fil_tst (f, FiLGet) && is_READABLE (f))
     {
       /* If EOLn is tested on a terminal device where nothing has