[m-rev.] for review: implement undo for declarative debugger

[Ian MacLarty]

On Tue, 26 Jul 2005, Julien Fischer wrote:

>
> On Mon, 25 Jul 2005, Ian MacLarty wrote:
>
> > For review by anyone.
> >
> > Estimated hours taken: 6
> > Branches: main
> >
> > Implement `undo' command in the declarative debugger.
> > The `undo' command takes the debugger back to the state it was in before the
> > last answer was given (`skip' is counted as an answer in this case).
> >
> >
> You need to document the new command.  Otherwise that looks
> okay.
>

I knew I had forgotten something:

only in patch2:
--- doc/user_guide.texi	17 Jun 2005 10:13:55 -0000	1.439
+++ doc/user_guide.texi	26 Jul 2005 02:04:16 -0000
@@ -4100,6 +4100,11 @@
 @item skip
 Skip this question and ask a different one if possible.
 @sp 1
+ at item undo
+Reset the state of the declarative debugger to the state it was in before the
+last `yes', `no', `inadmissible', `trust' or `skip' answer was given or
+the last subterm was marked, whichever was most recent.
+ at sp 1
 @item browse [--xml] [@var{n}]
 Start the interactive term browser and browse the @var{n}th argument
 before answering.  If the argument number

Ian.

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