You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The current implementation of delay does not ensure that order of events is preserved through delay, due to race-condition when the delayed events fire (which thread gets the lock first).
I don't think this necessarily needs to be fixed, as fixing it seems to make the implementation much more complex. But it should at least be pointed out in the haddocks and the quickref.
The text was updated successfully, but these errors were encountered:
The current implementation of
delay
does not ensure that order of events is preserved throughdelay
, due to race-condition when the delayed events fire (which thread gets the lock first).I don't think this necessarily needs to be fixed, as fixing it seems to make the implementation much more complex. But it should at least be pointed out in the haddocks and the quickref.
The text was updated successfully, but these errors were encountered: