[r6rs-discuss] Typos
Abdulaziz Ghuloum
aghuloum at cs.indiana.edu
Fri Apr 4 02:14:49 EDT 2008
On Apr 4, 2008, at 1:53 AM, Michael Sperber wrote:
> Now, I realize this isn't explicitly covered in the spec, but
> shouldn't
> an implementation flush open ports upon exit? This is pretty
> widespread
> practice both in Scheme and other languages, and at least the examples
> seem to imply that this was the intention.
If it's not specified explicitly, I would leave it to R7RS.
I ran into some corner cases when I tried to do this. What happens
for example if you try to flush a port but an IO error occurs? Can
an exception be raised between the time you exit (explicitly or
implicitly) and the time the process actually exists? One can argue
either way I think.
As the spec stands, it's more portable and predictable for the users
to flush their ports themselves (and that's compatible with auto
flush on exit). I don't think you should have an example in the spec
that relies on this unspecified behavior (even if all implementations
did so anyways).
Aziz,,,
More information about the r6rs-discuss
mailing list