[m-rev.] diff: fix throw.exp2

Ian MacLarty maclarty at cs.mu.OZ.AU
Sun Oct 23 18:41:41 AEST 2005


Looking at the CVS log I appear to have gotten confused about which
expected output was for debug grades and which was for non-debug grades
in a previous diff.

Estimated hours taken: 0.4
Branches: main

tests/debugger/declarative/throw.exp2:
	Fix the expected output for this test case in debug grades.
	(The context should appear in debug grades.)

Index: tests/debugger/declarative/throw.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/throw.exp2,v
retrieving revision 1.12
diff -u -r1.12 throw.exp2
--- tests/debugger/declarative/throw.exp2	10 Oct 2005 12:00:16 -0000	1.12
+++ tests/debugger/declarative/throw.exp2	23 Oct 2005 08:31:57 -0000
@@ -9,7 +9,7 @@
 mdb> continue
       E2:     C2 CALL pred throw.p/1-0 (cc_nondet) throw.m:20 (exception.m:NNNN)
 mdb> finish
-      E3:     C2 EXCP pred throw.p/1-0 (cc_nondet)
+      E3:     C2 EXCP pred throw.p/1-0 (cc_nondet) q!;c2; throw.m:22 (exception.m:NNNN)
 mdb> dd -d 3 -n 7
 Call p(_)
 Throws "Too big"
@@ -23,12 +23,12 @@
 p(_)
 "Too big"
 Is this a bug? yes
-      E3:     C2 EXCP pred throw.p/1-0 (cc_nondet)
+      E3:     C2 EXCP pred throw.p/1-0 (cc_nondet) q!;c2; throw.m:22 (exception.m:NNNN)
 mdb> continue
 exception(univ_cons("Too big"))
       E4:     C3 CALL pred throw.q/1-0 (semidet) throw.m:48 (exception.m:NNNN)
 mdb> finish
-      E5:     C3 EXCP pred throw.q/1-0 (semidet)
+      E5:     C3 EXCP pred throw.q/1-0 (semidet) c2;~;q!;c2;~;q!;c2; throw.m:52 (exception.m:NNNN)
 mdb> dd -d 3 -n 7
 Call q(_)
 Throws "Too big"
@@ -42,6 +42,6 @@
 q(_)
 "Too big"
 Is this a bug? yes
-      E5:     C3 EXCP pred throw.q/1-0 (semidet)
+      E5:     C3 EXCP pred throw.q/1-0 (semidet) c2;~;q!;c2;~;q!;c2; throw.m:52 (exception.m:NNNN)
 mdb> continue
 exception(univ_cons("Too big"))

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