[m-dev.] for review: direct retries

[Fergus Henderson]

On 20-Jan-2000, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 
> The support for retries across minimal model calls is not finished yet;
> that waits for fixes to minimal model tabling itself. However, such retries
> do grossly wrong things at the moment; this change is a definite improvement.

It would be helpful to explain in a bit more detail what remains to be
done.

> trace/mercury_trace.[ch]:
> trace/mercury_trace_internal.c:
> 	Implement a debugger command, "fail", which skips to the fail port or
> 	the exception port of the specified ancestor. Since only model_non
> 	procedures are guaranteed eventually to get to such a port, this
> 	command reports an error if the specified call is not model_non.

Even model_non procedures are not guaranteed to eventually get to such a port;
after a call to a model_non procedure succeeds, the caller may do a commit,
in which case you will never get to the fail port.


Apart from that, the log message looks good.
I haven't had a look at the code yet.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------