[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | romildo@u... |
| Subject: | Checking for eof |
Hi. I am missing a way of checking end of file for an input channel. How would I write it? val eof : in_channel -> bool Romildo