[m-rev.] For review: Fix failing declarative debugger tests

[Ian MacLarty]

For review by anyone.

Estimated hours taken: 0.5
Branches: main

Fix three failing declarative debugger tests.

failed_cond.exp
	The bug is now reported as an inadmissible call.

mismatch_on_call.inp2
	This input was missing (I forgot to `cvs add' it).

trust.exp
trust.inp
	Trust the standard library before `dd' command issued.

Index: failed_cond.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/failed_cond.exp,v
retrieving revision 1.1
diff -u -r1.1 failed_cond.exp
--- failed_cond.exp	18 Nov 2004 05:35:32 -0000	1.1
+++ failed_cond.exp	29 Nov 2004 08:25:32 -0000
@@ -15,8 +15,9 @@
 No solutions.
 Complete? browse 1
 browser> mark
-Found incorrect contour:
-q(c, b)
+Found inadmissible call:
+Parent q(c, _)
+Call r(c)
 Is this a bug? yes
       E4:     C3 EXIT pred failed_cond.q/2-0 (det)
 mdb> quit -y
Index: mismatch_on_call.inp2
===================================================================
RCS file: mismatch_on_call.inp2
diff -N mismatch_on_call.inp2
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ mismatch_on_call.inp2	29 Nov 2004 08:25:38 -0000
@@ -0,0 +1,12 @@
+register --quiet
+untrust 0
+context none
+echo on
+
+f
+dd
+b 4
+mark
+n
+y
+quit -y
Index: trust.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/trust.exp,v
retrieving revision 1.5
diff -u -r1.5 trust.exp
--- trust.exp	16 Nov 2004 00:45:13 -0000	1.5
+++ trust.exp	29 Nov 2004 08:26:39 -0000
@@ -47,16 +47,22 @@
 mdb: there is no such module, predicate or function.
 mdb> trust trust_2.
 Trusting pred trust_2.concat/3
+mdb> trust std lib
+Trusting the Mercury standard library
+mdb> trust standard library
+Trusting the Mercury standard library
 mdb> trusted
 Trusted Objects:
 4: predicate trust.main/2
 5: module trust_1
 6: predicate trust_2.concat/3
+7: the Mercury standard library
 mdb> untrust 4
 mdb> trusted
 Trusted Objects:
 5: module trust_1
 6: predicate trust_2.concat/3
+7: the Mercury standard library
 mdb> untrust 4
 mdb: no such trusted object
 mdb> untrust 99
Index: trust.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/trust.inp,v
retrieving revision 1.3
diff -u -r1.3 trust.inp
--- trust.inp	16 Nov 2004 00:45:13 -0000	1.3
+++ trust.inp	29 Nov 2004 08:26:42 -0000
@@ -19,6 +19,8 @@
 trust trust_1
 trust no_such_module
 trust trust_2.
+trust std lib
+trust standard library
 trusted
 untrust 4
 trusted
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------