[m-rev.] for review: allow search mode to be changed in DD

[Julien Fischer]

On Fri, 19 Aug 2005, Ian MacLarty wrote:

> On Fri, 19 Aug 2005, Julien Fischer wrote:
>
> >
> > On Fri, 19 Aug 2005, Ian MacLarty wrote:
> >
> > > For review by anyone.
> > >
> > > Estimated hours taken: 12
> > > Branches: main
> > >
> > > Allow the search mode to be changed from within the declarative debugger.
> > >
> > >  @sp 1
> > >  @item undo
> > > -Reset the state of the declarative debugger to what it was before the most
> > > -recent `yes', `no', `inadmissible', `trust', `skip' or `mark' answer that has
> > > -not already been undone.
> > > +Reset the state of the declarative debugger to the state it was in when
> > > +the question that came before the current question, and that hasn't already
> > > +been undone, was asked.
> >
> > That's not an improvement.
> >
>
> Please suggest something better then.  Otherwise I will just put "Try it and
> find out" ;-).
>
IMO, what was there was better, although this section has always seemed a
little awkward.

Here's a suggestion:

	Return the declarative debugger to the state it was in
	before the most recent answer or mode change was given.

Julien.

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------