23 Jan
2005
23 Jan
'05
3:22 p.m.
The temporary file is created but it is empty. It seems like the stdout/stderr handles are flushed in GHC.TopHandler.runMainIO but only if the program terminates without exception.
Should be fixed now; when terminating using exitWith, the handles are now flushed. Note that they are still not flushed for other exceptions. Cheers, Wolfgang