On Wed, Sep 17, 2008 at 6:21 AM, David Roundy <droundy@darcs.net> wrote:

Eventually the garbage collector should close the file, I believe.

That's true, but "eventually" could be long enough to mean "never" in practice. It's safest to assume that finalizers will not run at all, never mind in a timely fashion.