Commit 3427092e authored by simonmar's avatar simonmar
Browse files

[project @ 2000-01-30 10:08:27 by simonmar]

comment fixup
parent 266fadd9
...@@ -388,7 +388,7 @@ sent to the operating system are flushed as for $flush$. ...@@ -388,7 +388,7 @@ sent to the operating system are flushed as for $flush$.
%********************************************************* %*********************************************************
%* * %* *
\subsection[EOF]{Detecting the End of Input} \subsection[FileSize]{Detecting the size of a file}
%* * %* *
%********************************************************* %*********************************************************
...@@ -430,6 +430,13 @@ hFileSize handle = ...@@ -430,6 +430,13 @@ hFileSize handle =
#endif #endif
\end{code} \end{code}
%*********************************************************
%* *
\subsection[EOF]{Detecting the End of Input}
%* *
%*********************************************************
For a readable handle {\em hdl}, @hIsEOF hdl@ returns For a readable handle {\em hdl}, @hIsEOF hdl@ returns
@True@ if no further input can be taken from @hdl@ or for a @True@ if no further input can be taken from @hdl@ or for a
physical file, if the current I/O position is equal to the length of physical file, if the current I/O position is equal to the length of
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment