Problem with handles in GHC from CVS

[Wolfgang Thaller]

> 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.

Cheers,

Wolfgang