./T and ./T >& log

[Malcolm Wallace]

Simon Marlow <marlowsd at gmail.com> wrote:

> stdout should be flushed when the program exits, regardless of whether
> it  exits as a result of a clean exit or an exception.  I've just
> checked the  code, and that's certainly what is supposed to happen. 
> If anyone has  evidence to the contrary, please submit a bug report!

I believe flushing of file handles on program exit is handled by
finalizers attached to the handle.  Until recently, ghc did not
guarantee that any finalizer would ever run.

Regards,
    Malcolm