* Finalization of I/O Channels
@ 1999-07-28 18:17 David McClain
1999-07-30 15:22 ` John Skaller
0 siblings, 1 reply; 2+ messages in thread
From: David McClain @ 1999-07-28 18:17 UTC (permalink / raw)
To: caml-list
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
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Finalization of I/O Channels
1999-07-28 18:17 Finalization of I/O Channels David McClain
@ 1999-07-30 15:22 ` John Skaller
0 siblings, 0 replies; 2+ messages in thread
From: John Skaller @ 1999-07-30 15:22 UTC (permalink / raw)
To: David McClain, caml-list
At 11:17 28/07/99 -0700, David McClain wrote:
>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?
Perhaps worse, I found that explicitly closing
a file does not always work. I do not understand why,
but this is surely a bug. This occured in the bytecode
interpreter, and went away in with the native code
compiler. [A program that wrote a file could not read it
after closing the output file and reopening it input]
-------------------------------------------------------
John Skaller email: skaller@maxtal.com.au
http://www.maxtal.com.au/~skaller
phone: 61-2-96600850
snail: 10/1 Toxteth Rd, Glebe NSW 2037, Australia
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~1999-08-12 9:50 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-07-28 18:17 Finalization of I/O Channels David McClain
1999-07-30 15:22 ` John Skaller
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox