Is stderr flushed automatically after exceptions are printed
12 Jun
2012
12 Jun
'12
10:35 p.m.
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? -- Johan
13 Jun
13 Jun
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
4724
Age (days ago)
4724
Last active (days ago)
1 comments
2 participants
participants (2)
-
Johan Tibell -
Simon Marlow