[m-rev.] diff: document mdb & ^C

Fergus Henderson fjh at cs.mu.OZ.AU
Tue Jun 5 02:10:48 AEST 2001


Estimated hours taken: 0.25
Branches: main

doc/user_guide.texi:
	Document that the debugger stops at the next event if it
	receives an interrupt.

Workspace: /mnt/hg/home/hg/fjh/mercury
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.253
diff -u -d -r1.253 user_guide.texi
--- doc/user_guide.texi	2001/06/04 06:31:36	1.253
+++ doc/user_guide.texi	2001/06/04 16:04:44
@@ -1584,6 +1584,10 @@
 However, if the debugger is executing a strict command,
 it will not stop at an event
 just because a break point in the stop state applies to it.
+
+If the debugger receives an interrupt (e.g. if the user presses control-C),
+it will stop at the next event regardless of what command it is executing
+at the time.
 @sp 1
 @item print level
 When a debugger command steps over some events
@@ -1645,11 +1649,6 @@
 that specifies the mode number of the procedure
 within the predicate or function to which the procedure belongs.
 @end itemize
- at c @sp 1
- at c XXX interrupts:
- at c If the debugger receives an interrupt, it will stop at the next event
- at c regardless of what command it is executing at the time.
- at c (INTERRUPT HANDLING IS NOT YET IMPLEMENTED.)
 @end table
 
 @node Debugger commands

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list