[
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: | David McClain <dmcclain@a...> |
| Subject: | Finalization of I/O Channels |
In attempting to provide finalizable I/O channels to my users, I discovered that OCAML 2.02 is already finalizing them... But in so doing you do not flush or close the file descriptors. Is this an oversight, or is there some good reason for not doing so? D.McClain