[Resending to the list]
Thank you for your explanation.
On Mon, Mar 4, 2013 at 10:32 PM, Simon Marlow wrote:
> The issue is this: when the main thread exits, the RTS starts shutting down,
> and it kills all the other threads. If any of these threads were the result
> of an external in-call from
On 04/03/13 06:02, Akio Takano wrote:
Hi,
If I compile and run the attached program in the following way, it
crashes on exit:
$ ghc -threaded thr_interrupted.hs
$ ./thr_interrupted
thr_interrupted: Main_dtl: interrupted
This is particularly bad when profiling, because the program
terminates be
Hi,
If I compile and run the attached program in the following way, it
crashes on exit:
$ ghc -threaded thr_interrupted.hs
$ ./thr_interrupted
thr_interrupted: Main_dtl: interrupted
This is particularly bad when profiling, because the program
terminates before writing to the .prof file.
Is this