Problem with handles in GHC from CVS

[Simon Marlow]

On 24 January 2005 04:31, Wolfgang Thaller wrote:

>> It seems they should always be flushed. certainly if a program fails
>> via 'fail' in IO or 'error' as these are common ways for programs to
>> report an error and losing output would definitly be counter
>> intuitive and make it quite tricky to debug. especially when you
>> can't flush stdout before calling error. I would think it should
>> flush all buffers on any type of exit.
> 
> I agree (after thinking about it again). Done.

They were supposed to be flushed always; it was a braino on my part.
Thanks for fixing it.

Cheers,
	Simon