[m-rev.] for review: new mdb commands "hold" and "diff"

[Zoltan Somogyi]

On 11-Jul-2005, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> > > I suggest also mentioning that held variables also maintain their
> > > values with respect to retries.
> >
> > If they are ground and created ground (i.e. not created as a skeleton and
> > later filled in), they will. If they are solver variables that reference
> > a changing constraint store, then their internal view may stay the same,
> > but the external one won't. I don't want to make a promise I can't keep.
> >
> I think the documentation should mention this then.

I don't know where. The debugger as a whole won't function if terms aren't
ground (simply printing a non-ground term will cause a core dump), and
the relationship of the debugger to solver types is all still up in the air.
Both those issues would need to be documented in general before a specific
comment here would make sense. I added a commented out XXX to this effect.

> I'm not arguing for or against the facility; I just think the
> documentation should say that it is not (currently) allowed.

Done.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------