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