Version française
Home     About     Download     Resources     Contact us    
Browse thread
Finalization of I/O Channels
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ 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