
13 Jun
2012
13 Jun
'12
4:47 a.m.
On 13/06/2012 03:35, Johan Tibell wrote:
Hi,
If a program throws an exception that will cause it to be terminated (i.e. the exception isn't caught), will the code that prints out the error message to stderr make sure to flush stderr before terminating the process?
Yes: https://github.com/ghc/packages-base/blob/master/GHC/TopHandler.lhs#L152 Cheers, Simon