[m-rev.] ssdb version 1.0.

[oan at missioncriticalit.com]

On 30/11/2007, "Peter Wang" <novalazy at gmail.com> wrote:

>
>> +%
>> +%   p(...) :-
>> +%       promise_<original_purity> (
>> +%           (
>> +%               CallVarDescs = [ ... ],
>> +%               impure call_port(ProcId, CallVarDescs),
>> +%               <original body>,
>> +%               impure fail_port(ProcId, CallVarDescs, DoRetry),
>> +%               (
>> +%                   DoRetry = do_retry,
>> +%                   p(...)
>> +%               ;
>> +%                   DoRetry = do_not_retry,
>> +%                   fail
>> +%               )
>> +%           )
>> +%       ).
>
>Are you sure?  How does it reach the call to `fail_port'?

To avoid that the compiler delete the failure code during the
optimization, the feature :
preserve_backtrack_into is set at the retry.

>
>Did you document the transformation for erroneous procedures?

No, I forgot... It will be visible in the next review...

All other remarks have been took in account.

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