[m-dev.] Generalizing STM

[Peter Wang]

On Tue, 1 Nov 2011 17:10:58 -0400, Chris King <colanderman at gmail.com> wrote:
> Building on this, it can be seen that STM retry() can be replaced with
> simple failure in the absence of negated contexts.  STM retry() is
> supposed to "bubble up" to the outermost "atomic" block; this is
> exactly what failure does in the absence of negated contexts.

Do you mean you would treat

    atomic [outer(...), inner(...)] (
        GOAL	% semidet
    )

as

    atomic [outer(...), inner(...)] (
        ( GOAL ->
            true
        ;
            retry(...)
        )
    )

Peter
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------