How does an atomic block differ from one in which all variables are
implicitly hypotheticalized?  I'm thinking that a "retry" exit
statement may be redundant; instead, why not just go with the existing
mechanisms for successful vs. failed block termination, with the minor
modification that when an atomic block fails, the state rolls back?

Also, what can "retry_with" do that testing the atomic block for
failure can't?

Jonathan "Dataweaver" Lang

Reply via email to