25 Mar
2009
25 Mar
'09
7:33 a.m.
"Compose two alternative STM actions (GHC only). If the first action completes without retrying then it forms the result of the orElse. Otherwise, if the first action retries, then the second action is tried in its place. If both actions retry then the orElse as a whole retries."
What is the definition of retrying in "If the first action completes without retrying then..." -- does it mean only explicitly retrying via the retry function, or does it include a retry caused by a write conflict at commit time of the first action?
I'm quite sure orElse only concerns explicit retries, it wouldn't make much sense otherwise. Cheers, Peter