From: "David McClain" <email@example.com>
Subject: Finalization of I/O Channels
Date: Wed, 28 Jul 1999 11:17:57 -0700
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?
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:23 MET