25 Sep
2014
25 Sep
'14
8:59 p.m.
On 14-09-25 03:55 PM, Lane Seppala wrote:
As the simplest example, compiled with the threaded runtime (and neglecting imports):
main = void $ sleep 10
will be interrupted, whereas
main = void $ runInUnboundThread $ sleep 10
will complete its 10 second sleep.
Before you commit to your understanding, consider one more experiment that changes everything: main = void $ runInUnboundThread (runInBoundThread $ sleep 10) Also, consider hitting CTRL-C (or sending SIGINT any way), see what does not happen. Do you want this behaviour?