Finalization of I/O Channels

From: David McClain (
Date: Wed Jul 28 1999 - 20:17:57 MET DST

From: "David McClain" <>
To: <>
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