[m-rev.] trivial diff: re-enable test case, but without contexts

Mark Anthony BROWN dougl at cs.mu.OZ.AU
Thu May 3 17:24:27 AEST 2001


Estimated hours taken: 0.5
Branches: main

The test case tests/debugger/declarative/output_term_dep was disabled
because mdb was reporting incorrect line numbers when the option
'--opt-space' was given.  This change improves the testing a bit.

tests/debugger/declarative/Mmakefile:
tests/debugger/declarative/output_term_dep.exp:
tests/debugger/declarative/output_term_dep.exp2:
tests/debugger/declarative/output_term_dep.inp:
	Enable this test case, but add a 'context none' command so that
	line numbers don't affect the output.

tests/debugger/Mmakefile:
tests/debugger/output_term_dep.exp:
tests/debugger/output_term_dep.exp2:
tests/debugger/output_term_dep.inp:
tests/debugger/output_term_dep.m:
	Perform a similar test here (without the 'context none'), since it
	exposes a bug in mdb.  This test is currently disabled.

Index: tests/debugger/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/Mmakefile,v
retrieving revision 1.48
diff -u -r1.48 Mmakefile
--- tests/debugger/Mmakefile	2000/12/18 07:43:01	1.48
+++ tests/debugger/Mmakefile	2001/05/03 07:06:11
@@ -40,6 +40,10 @@
 	shallow				\
 	tabled_read
 
+# mdb reports incorrect line numbers when the following test is compiled
+# with --opt-space
+#	output_term_dep
+
 # The following tests are disabled, since currently they get some spurious
 # failures if readline support is enabled:
 #	interactive
@@ -196,6 +200,10 @@
 multi_parameter.out: multi_parameter multi_parameter.inp
 	$(MDB) ./multi_parameter < multi_parameter.inp 2>&1 | \
 		sed 's/char.m:[0-9]*/char.m:NNNN/g' > multi_parameter.out
+
+output_term_dep.out: output_term_dep output_term_dep.inp
+	$(MDB) ./output_term_dep < output_term_dep.inp \
+		> output_term_dep.out 2>&1
 
 queens.out: queens queens.inp
 	$(MDB) ./queens < queens.inp > queens.out 2>&1
Index: tests/debugger/output_term_dep.exp
===================================================================
RCS file: output_term_dep.exp
diff -N output_term_dep.exp
--- /dev/null	Wed Apr 11 00:52:25 2001
+++ output_term_dep.exp	Thu May  3 16:45:44 2001
@@ -0,0 +1,146 @@
+       1:      1  1 CALL pred output_term_dep:main/2-0 (det) output_term_dep.m:9
+mdb> echo on
+Command echo enabled.
+mdb> scroll off
+Scroll control disabled.
+mdb> continue -a
+       2:      2  2 CALL pred output_term_dep:test1/2-0 (det) output_term_dep.m:22 (output_term_dep.m:13)
+       3:      3  3 CALL pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+       4:      4  4 CALL pred output_term_dep:pa/1-0 (det) output_term_dep.m:42 (output_term_dep.m:35)
+       5:      4  4 EXIT pred output_term_dep:pa/1-0 (det) output_term_dep.m:42 (output_term_dep.m:35)
+       6:      5  4 CALL pred output_term_dep:pb/1-0 (det) output_term_dep.m:47 (output_term_dep.m:36)
+       7:      5  4 EXIT pred output_term_dep:pb/1-0 (det) output_term_dep.m:47 (output_term_dep.m:36)
+       8:      6  4 CALL pred output_term_dep:pc/1-0 (det) output_term_dep.m:52 (output_term_dep.m:37)
+       9:      6  4 EXIT pred output_term_dep:pc/1-0 (det) output_term_dep.m:52 (output_term_dep.m:37)
+      10:      3  3 EXIT pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+5
+8
+13
+      11:      2  2 EXIT pred output_term_dep:test1/2-0 (det) output_term_dep.m:22 (output_term_dep.m:13)
+      12:      7  2 CALL pred output_term_dep:test2/2-0 (det) output_term_dep.m:57 (output_term_dep.m:14)
+      13:      8  3 CALL pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+      14:      9  4 CALL pred output_term_dep:qa/1-0 (det) output_term_dep.m:73 (output_term_dep.m:66)
+      15:      9  4 EXIT pred output_term_dep:qa/1-0 (det) output_term_dep.m:73 (output_term_dep.m:66)
+      16:     10  4 CALL pred output_term_dep:qb/1-0 (det) output_term_dep.m:78 (output_term_dep.m:67)
+      17:     10  4 EXIT pred output_term_dep:qb/1-0 (det) output_term_dep.m:78 (output_term_dep.m:67)
+      18:     11  4 CALL pred output_term_dep:qc/1-0 (det) output_term_dep.m:83 (output_term_dep.m:68)
+      19:     11  4 EXIT pred output_term_dep:qc/1-0 (det) output_term_dep.m:83 (output_term_dep.m:68)
+      20:      8  3 EXIT pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+[[1, 2, 3], [], [99]]
+      21:      7  2 EXIT pred output_term_dep:test2/2-0 (det) output_term_dep.m:57 (output_term_dep.m:14)
+      22:     12  2 CALL pred output_term_dep:test3/2-0 (det) output_term_dep.m:88 (output_term_dep.m:15)
+      23:     13  3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+      24:     13  3 THEN pred output_term_dep:r/2-0 (det) t; output_term_dep.m:109
+      25:     13  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+999
+      26:     14  3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+      27:     14  3 ELSE pred output_term_dep:r/2-0 (det) e; output_term_dep.m:120
+      28:     15  4 CALL pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+      29:     15  4 SWTC pred output_term_dep:ra/1-0 (semidet) s1; output_term_dep.m:127
+      30:     15  4 EXIT pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+      31:     14  3 THEN pred output_term_dep:r/2-0 (det) e;t; output_term_dep.m:117
+      32:     16  4 CALL pred output_term_dep:rb/1-0 (semidet) output_term_dep.m:133 (output_term_dep.m:114)
+      33:     16  4 FAIL pred output_term_dep:rb/1-0 (semidet) output_term_dep.m:133 (output_term_dep.m:114)
+      34:     14  3 ELSE pred output_term_dep:r/2-0 (det) e;t;e; output_term_dep.m:118
+      35:     14  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+43
+      36:     17  3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+      37:     17  3 ELSE pred output_term_dep:r/2-0 (det) e; output_term_dep.m:120
+      38:     18  4 CALL pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+      39:     18  4 SWTC pred output_term_dep:ra/1-0 (semidet) s2; output_term_dep.m:128
+      40:     18  4 EXIT pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+      41:     17  3 THEN pred output_term_dep:r/2-0 (det) e;t; output_term_dep.m:117
+      42:     19  4 CALL pred output_term_dep:rb/1-0 (semidet) output_term_dep.m:133 (output_term_dep.m:114)
+      43:     19  4 EXIT pred output_term_dep:rb/1-0 (semidet) output_term_dep.m:133 (output_term_dep.m:114)
+      44:     17  3 THEN pred output_term_dep:r/2-0 (det) e;t;t; output_term_dep.m:116
+      45:     20  4 CALL pred output_term_dep:rc/1-0 (det) output_term_dep.m:138 (output_term_dep.m:116)
+      46:     20  4 EXIT pred output_term_dep:rc/1-0 (det) output_term_dep.m:138 (output_term_dep.m:116)
+      47:     17  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+57
+      48:     21  3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+      49:     21  3 ELSE pred output_term_dep:r/2-0 (det) e; output_term_dep.m:120
+      50:     22  4 CALL pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+      51:     22  4 FAIL pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+      52:     21  3 ELSE pred output_term_dep:r/2-0 (det) e;e; output_term_dep.m:121
+      53:     23  4 CALL pred output_term_dep:rd/1-0 (det) output_term_dep.m:143 (output_term_dep.m:121)
+      54:     23  4 EXIT pred output_term_dep:rd/1-0 (det) output_term_dep.m:143 (output_term_dep.m:121)
+      55:     21  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+-1
+      56:     12  2 EXIT pred output_term_dep:test3/2-0 (det) output_term_dep.m:88 (output_term_dep.m:15)
+      57:     24  2 CALL pred output_term_dep:test4/2-0 (det) output_term_dep.m:148 (output_term_dep.m:16)
+      58:     25  3 CALL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      59:     25  3 SWTC pred output_term_dep:s/3-0 (nondet) s1; output_term_dep.m:169
+      60:     25  3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c1;d1; output_term_dep.m:171
+      61:     26  4 CALL pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:171)
+      62:     26  4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:171)
+      63:     25  3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c2;d1; output_term_dep.m:176
+      64:     27  4 CALL pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+      65:     27  4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+      66:     25  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      67:     28  3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+      68:     28  3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+      69:     25  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      70:     25  3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c2;d2; output_term_dep.m:178
+      71:     29  4 CALL pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+      72:     29  4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+      73:     25  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      74:     30  3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+      75:     30  3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+      76:     25  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      77:     25  3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c1;d2; output_term_dep.m:173
+      78:     31  4 CALL pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:173)
+      79:     31  4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:173)
+      80:     25  3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c2;d1; output_term_dep.m:176
+      81:     32  4 CALL pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+      82:     32  4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+      83:     25  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      84:     33  3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+      85:     33  3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+      86:     25  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      87:     25  3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c2;d2; output_term_dep.m:178
+      88:     34  4 CALL pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+      89:     34  4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+      90:     25  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      91:     35  3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+      92:     35  3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+      93:     25  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      94:     25  3 FAIL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      95:     24  2 ELSE pred output_term_dep:test4/2-0 (det) c1;e; output_term_dep.m:155
+no
+      96:     36  3 CALL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+      97:     36  3 SWTC pred output_term_dep:s/3-0 (nondet) s2; output_term_dep.m:184
+      98:     36  3 DISJ pred output_term_dep:s/3-0 (nondet) s2;d1; output_term_dep.m:182
+      99:     37  4 CALL pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:182)
+     100:     37  4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:182)
+     101:     38  4 CALL pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:183)
+     102:     38  4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:183)
+     103:     36  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     104:     39  3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:159)
+     105:     39  3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:159)
+     106:     36  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     107:     36  3 DISJ pred output_term_dep:s/3-0 (nondet) s2;d2; output_term_dep.m:185
+     108:     40  4 CALL pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:185)
+     109:     40  4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:185)
+     110:     41  4 CALL pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:186)
+     111:     41  4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:186)
+     112:     36  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     113:     42  3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:159)
+     114:     42  3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:159)
+     115:     36  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     116:     36  3 FAIL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     117:     24  2 ELSE pred output_term_dep:test4/2-0 (det) c2;e; output_term_dep.m:163
+no
+     118:     24  2 EXIT pred output_term_dep:test4/2-0 (det) output_term_dep.m:148 (output_term_dep.m:16)
+     119:     43  2 CALL pred output_term_dep:test5/2-0 (det) output_term_dep.m:218 (output_term_dep.m:17)
+     120:     44  3 CALL pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+     121:     45  4 CALL pred output_term_dep:ta/1-0 (semidet) output_term_dep.m:233 (output_term_dep.m:226)
+     122:     45  4 FAIL pred output_term_dep:ta/1-0 (semidet) output_term_dep.m:233 (output_term_dep.m:226)
+     123:     46  4 CALL pred output_term_dep:tb/1-0 (det) output_term_dep.m:238 (output_term_dep.m:227)
+     124:     46  4 EXIT pred output_term_dep:tb/1-0 (det) output_term_dep.m:238 (output_term_dep.m:227)
+     125:     47  4 CALL pred output_term_dep:tc/1-0 (semidet) output_term_dep.m:243 (output_term_dep.m:228)
+     126:     47  4 FAIL pred output_term_dep:tc/1-0 (semidet) output_term_dep.m:243 (output_term_dep.m:228)
+     127:     44  3 EXIT pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+     128:     43  2 THEN pred output_term_dep:test5/2-0 (det) t; output_term_dep.m:216
+77
+     129:     43  2 EXIT pred output_term_dep:test5/2-0 (det) output_term_dep.m:218 (output_term_dep.m:17)
+     130:      1  1 EXIT pred output_term_dep:main/2-0 (det) output_term_dep.m:9
Index: tests/debugger/output_term_dep.exp2
===================================================================
RCS file: output_term_dep.exp2
diff -N output_term_dep.exp2
--- /dev/null	Wed Apr 11 00:52:25 2001
+++ output_term_dep.exp2	Thu May  3 17:01:55 2001
@@ -0,0 +1,186 @@
+       1:      1  1 CALL pred output_term_dep:main/2-0 (det) output_term_dep.m:9
+mdb> echo on
+Command echo enabled.
+mdb> scroll off
+Scroll control disabled.
+mdb> continue -a
+       2:      2  2 CALL pred output_term_dep:test1/2-0 (det) output_term_dep.m:22 (output_term_dep.m:13)
+       3:      3  3 CALL pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+       4:      4  4 CALL pred output_term_dep:pa/1-0 (det) output_term_dep.m:42 (output_term_dep.m:35)
+       5:      4  4 EXIT pred output_term_dep:pa/1-0 (det) output_term_dep.m:42 (output_term_dep.m:35)
+       6:      5  4 CALL pred output_term_dep:pb/1-0 (det) output_term_dep.m:47 (output_term_dep.m:36)
+       7:      5  4 EXIT pred output_term_dep:pb/1-0 (det) output_term_dep.m:47 (output_term_dep.m:36)
+       8:      6  4 CALL pred output_term_dep:pc/1-0 (det) output_term_dep.m:52 (output_term_dep.m:37)
+       9:      6  4 EXIT pred output_term_dep:pc/1-0 (det) output_term_dep.m:52 (output_term_dep.m:37)
+      10:      3  3 EXIT pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+      11:      7  3 CALL pred io:write_int/3-0 (det) io.m:3565 (output_term_dep.m:24)
+5      12:      7  3 EXIT pred io:write_int/3-0 (det) io.m:3565 (output_term_dep.m:24)
+      13:      8  3 CALL pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:25)
+
+      14:      8  3 EXIT pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:25)
+      15:      9  3 CALL pred io:write_int/3-0 (det) io.m:3565 (output_term_dep.m:26)
+8      16:      9  3 EXIT pred io:write_int/3-0 (det) io.m:3565 (output_term_dep.m:26)
+      17:     10  3 CALL pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:27)
+
+      18:     10  3 EXIT pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:27)
+      19:     11  3 CALL pred io:write_int/3-0 (det) io.m:3565 (output_term_dep.m:28)
+13      20:     11  3 EXIT pred io:write_int/3-0 (det) io.m:3565 (output_term_dep.m:28)
+      21:     12  3 CALL pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:29)
+
+      22:     12  3 EXIT pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:29)
+      23:      2  2 EXIT pred output_term_dep:test1/2-0 (det) output_term_dep.m:22 (output_term_dep.m:13)
+      24:     13  2 CALL pred output_term_dep:test2/2-0 (det) output_term_dep.m:57 (output_term_dep.m:14)
+      25:     14  3 CALL pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+      26:     15  4 CALL pred output_term_dep:qa/1-0 (det) output_term_dep.m:73 (output_term_dep.m:66)
+      27:     15  4 EXIT pred output_term_dep:qa/1-0 (det) output_term_dep.m:73 (output_term_dep.m:66)
+      28:     16  4 CALL pred output_term_dep:qb/1-0 (det) output_term_dep.m:78 (output_term_dep.m:67)
+      29:     16  4 EXIT pred output_term_dep:qb/1-0 (det) output_term_dep.m:78 (output_term_dep.m:67)
+      30:     17  4 CALL pred output_term_dep:qc/1-0 (det) output_term_dep.m:83 (output_term_dep.m:68)
+      31:     17  4 EXIT pred output_term_dep:qc/1-0 (det) output_term_dep.m:83 (output_term_dep.m:68)
+      32:     14  3 EXIT pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+      33:     18  3 CALL pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:59)
+[[1, 2, 3], [], [99]]      34:     18  3 EXIT pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:59)
+      35:     19  3 CALL pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:60)
+
+      36:     19  3 EXIT pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:60)
+      37:     13  2 EXIT pred output_term_dep:test2/2-0 (det) output_term_dep.m:57 (output_term_dep.m:14)
+      38:     20  2 CALL pred output_term_dep:test3/2-0 (det) output_term_dep.m:88 (output_term_dep.m:15)
+      39:     21  3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+      40:     21  3 THEN pred output_term_dep:r/2-0 (det) t; output_term_dep.m:109
+      41:     21  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+      42:     22  3 CALL pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:90)
+999      43:     22  3 EXIT pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:90)
+      44:     23  3 CALL pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:91)
+
+      45:     23  3 EXIT pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:91)
+      46:     24  3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+      47:     24  3 ELSE pred output_term_dep:r/2-0 (det) e; output_term_dep.m:120
+      48:     25  4 CALL pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+      49:     25  4 SWTC pred output_term_dep:ra/1-0 (semidet) s1; output_term_dep.m:127
+      50:     25  4 EXIT pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+      51:     24  3 THEN pred output_term_dep:r/2-0 (det) e;t; output_term_dep.m:117
+      52:     26  4 CALL pred output_term_dep:rb/1-0 (semidet) output_term_dep.m:133 (output_term_dep.m:114)
+      53:     26  4 FAIL pred output_term_dep:rb/1-0 (semidet) output_term_dep.m:133 (output_term_dep.m:114)
+      54:     24  3 ELSE pred output_term_dep:r/2-0 (det) e;t;e; output_term_dep.m:118
+      55:     24  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+      56:     27  3 CALL pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:93)
+43      57:     27  3 EXIT pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:93)
+      58:     28  3 CALL pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:94)
+
+      59:     28  3 EXIT pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:94)
+      60:     29  3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+      61:     29  3 ELSE pred output_term_dep:r/2-0 (det) e; output_term_dep.m:120
+      62:     30  4 CALL pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+      63:     30  4 SWTC pred output_term_dep:ra/1-0 (semidet) s2; output_term_dep.m:128
+      64:     30  4 EXIT pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+      65:     29  3 THEN pred output_term_dep:r/2-0 (det) e;t; output_term_dep.m:117
+      66:     31  4 CALL pred output_term_dep:rb/1-0 (semidet) output_term_dep.m:133 (output_term_dep.m:114)
+      67:     31  4 EXIT pred output_term_dep:rb/1-0 (semidet) output_term_dep.m:133 (output_term_dep.m:114)
+      68:     29  3 THEN pred output_term_dep:r/2-0 (det) e;t;t; output_term_dep.m:116
+      69:     32  4 CALL pred output_term_dep:rc/1-0 (det) output_term_dep.m:138 (output_term_dep.m:116)
+      70:     32  4 EXIT pred output_term_dep:rc/1-0 (det) output_term_dep.m:138 (output_term_dep.m:116)
+      71:     29  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+      72:     33  3 CALL pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:96)
+57      73:     33  3 EXIT pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:96)
+      74:     34  3 CALL pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:97)
+
+      75:     34  3 EXIT pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:97)
+      76:     35  3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+      77:     35  3 ELSE pred output_term_dep:r/2-0 (det) e; output_term_dep.m:120
+      78:     36  4 CALL pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+      79:     36  4 FAIL pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+      80:     35  3 ELSE pred output_term_dep:r/2-0 (det) e;e; output_term_dep.m:121
+      81:     37  4 CALL pred output_term_dep:rd/1-0 (det) output_term_dep.m:143 (output_term_dep.m:121)
+      82:     37  4 EXIT pred output_term_dep:rd/1-0 (det) output_term_dep.m:143 (output_term_dep.m:121)
+      83:     35  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+      84:     38  3 CALL pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:99)
+-1      85:     38  3 EXIT pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:99)
+      86:     39  3 CALL pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:100)
+
+      87:     39  3 EXIT pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:100)
+      88:     20  2 EXIT pred output_term_dep:test3/2-0 (det) output_term_dep.m:88 (output_term_dep.m:15)
+      89:     40  2 CALL pred output_term_dep:test4/2-0 (det) output_term_dep.m:148 (output_term_dep.m:16)
+      90:     41  3 CALL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      91:     41  3 SWTC pred output_term_dep:s/3-0 (nondet) s1; output_term_dep.m:169
+      92:     41  3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c1;d1; output_term_dep.m:171
+      93:     42  4 CALL pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:171)
+      94:     42  4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:171)
+      95:     41  3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c2;d1; output_term_dep.m:176
+      96:     43  4 CALL pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+      97:     43  4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+      98:     41  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      99:     44  3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+     100:     44  3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+     101:     41  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     102:     41  3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c2;d2; output_term_dep.m:178
+     103:     45  4 CALL pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+     104:     45  4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+     105:     41  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     106:     46  3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+     107:     46  3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+     108:     41  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     109:     41  3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c1;d2; output_term_dep.m:173
+     110:     47  4 CALL pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:173)
+     111:     47  4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:173)
+     112:     41  3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c2;d1; output_term_dep.m:176
+     113:     48  4 CALL pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+     114:     48  4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+     115:     41  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     116:     49  3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+     117:     49  3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+     118:     41  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     119:     41  3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c2;d2; output_term_dep.m:178
+     120:     50  4 CALL pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+     121:     50  4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+     122:     41  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     123:     51  3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+     124:     51  3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+     125:     41  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     126:     41  3 FAIL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     127:     40  2 ELSE pred output_term_dep:test4/2-0 (det) c1;e; output_term_dep.m:155
+     128:     52  3 CALL pred io:write_string/3-0 (det) io.m:3544 (output_term_dep.m:155)
+no
+     129:     52  3 EXIT pred io:write_string/3-0 (det) io.m:3544 (output_term_dep.m:155)
+     130:     53  3 CALL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     131:     53  3 SWTC pred output_term_dep:s/3-0 (nondet) s2; output_term_dep.m:184
+     132:     53  3 DISJ pred output_term_dep:s/3-0 (nondet) s2;d1; output_term_dep.m:182
+     133:     54  4 CALL pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:182)
+     134:     54  4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:182)
+     135:     55  4 CALL pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:183)
+     136:     55  4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:183)
+     137:     53  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     138:     56  3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:159)
+     139:     56  3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:159)
+     140:     53  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     141:     53  3 DISJ pred output_term_dep:s/3-0 (nondet) s2;d2; output_term_dep.m:185
+     142:     57  4 CALL pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:185)
+     143:     57  4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:185)
+     144:     58  4 CALL pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:186)
+     145:     58  4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:186)
+     146:     53  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     147:     59  3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:159)
+     148:     59  3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:159)
+     149:     53  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     150:     53  3 FAIL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     151:     40  2 ELSE pred output_term_dep:test4/2-0 (det) c2;e; output_term_dep.m:163
+     152:     60  3 CALL pred io:write_string/3-0 (det) io.m:3544 (output_term_dep.m:163)
+no
+     153:     60  3 EXIT pred io:write_string/3-0 (det) io.m:3544 (output_term_dep.m:163)
+     154:     40  2 EXIT pred output_term_dep:test4/2-0 (det) output_term_dep.m:148 (output_term_dep.m:16)
+     155:     61  2 CALL pred output_term_dep:test5/2-0 (det) output_term_dep.m:218 (output_term_dep.m:17)
+     156:     62  3 CALL pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+     157:     63  4 CALL pred output_term_dep:ta/1-0 (semidet) output_term_dep.m:233 (output_term_dep.m:226)
+     158:     63  4 FAIL pred output_term_dep:ta/1-0 (semidet) output_term_dep.m:233 (output_term_dep.m:226)
+     159:     64  4 CALL pred output_term_dep:tb/1-0 (det) output_term_dep.m:238 (output_term_dep.m:227)
+     160:     64  4 EXIT pred output_term_dep:tb/1-0 (det) output_term_dep.m:238 (output_term_dep.m:227)
+     161:     65  4 CALL pred output_term_dep:tc/1-0 (semidet) output_term_dep.m:243 (output_term_dep.m:228)
+     162:     65  4 FAIL pred output_term_dep:tc/1-0 (semidet) output_term_dep.m:243 (output_term_dep.m:228)
+     163:     62  3 EXIT pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+     164:     61  2 THEN pred output_term_dep:test5/2-0 (det) t; output_term_dep.m:216
+     165:     66  3 CALL pred io:write_int/3-0 (det) io.m:3565 (output_term_dep.m:216)
+77     166:     66  3 EXIT pred io:write_int/3-0 (det) io.m:3565 (output_term_dep.m:216)
+     167:     67  3 CALL pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:217)
+
+     168:     67  3 EXIT pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:217)
+     169:     61  2 EXIT pred output_term_dep:test5/2-0 (det) output_term_dep.m:218 (output_term_dep.m:17)
+     170:      1  1 EXIT pred output_term_dep:main/2-0 (det) output_term_dep.m:9
Index: tests/debugger/output_term_dep.inp
===================================================================
RCS file: output_term_dep.inp
diff -N output_term_dep.inp
--- /dev/null	Wed Apr 11 00:52:25 2001
+++ output_term_dep.inp	Thu May  3 16:45:44 2001
@@ -0,0 +1,3 @@
+echo on
+scroll off
+continue -a
Index: tests/debugger/output_term_dep.m
===================================================================
RCS file: output_term_dep.m
diff -N output_term_dep.m
--- /dev/null	Wed Apr 11 00:52:25 2001
+++ output_term_dep.m	Thu May  3 16:37:46 2001
@@ -0,0 +1,246 @@
+:- module output_term_dep.
+:- interface.
+:- import_module io.
+:- pred main(io__state::di, io__state::uo) is det.
+
+:- implementation.
+:- import_module list.
+
+main -->
+	%
+	% Test cases which track an output subterm.
+	%
+	test1,		% basic det conjunction
+	test2,		% construction unification
+	test3,		% if-then-else
+	test4,		% switch and disjunction
+	test5.		% negation
+
+%-----------------------------------------------------------------------------%
+
+:- pred test1(io__state::di, io__state::uo) is det.
+test1 -->
+	{ p(A, B, C) },
+	io__write_int(A),
+	io__nl,
+	io__write_int(B),
+	io__nl,
+	io__write_int(C),
+	io__nl.
+
+:- pred p(int, int, int).
+:- mode p(out, out, out) is det.
+
+p(A, B, C) :-		% tracking subterm B
+	pa(A),
+	pb(B),
+	pc(C).
+
+:- pred pa(int).
+:- mode pa(out) is det.
+
+pa(5).
+
+:- pred pb(int).
+:- mode pb(out) is det.
+
+pb(8).
+
+:- pred pc(int).
+:- mode pc(out) is det.
+
+pc(13).
+
+%-----------------------------------------------------------------------------%
+
+:- pred test2(io__state::di, io__state::uo) is det.
+test2 -->
+	{ q(X) },
+	io__write(X),
+	io__nl.
+
+:- pred q(list(list(int))).
+:- mode q(out) is det.
+
+q([A, B, C]) :-		% tracking subterm B
+	qa(A),
+	qb(B),
+	qc(C).
+
+:- pred qa(list(int)).
+:- mode qa(out) is det.
+
+qa([1, 2, 3]).
+
+:- pred qb(list(int)).
+:- mode qb(out) is det.
+
+qb([]).
+
+:- pred qc(list(int)).
+:- mode qc(out) is det.
+
+qc([99]).
+
+%-----------------------------------------------------------------------------%
+
+:- pred test3(io__state::di, io__state::uo) is det.
+test3 -->
+	{ r(1, W) },
+	io__write(W),
+	io__nl,
+	{ r(2, X) },
+	io__write(X),
+	io__nl,
+	{ r(3, Y) },
+	io__write(Y),
+	io__nl,
+	{ r(4, Z) },
+	io__write(Z),
+	io__nl.
+
+:- pred r(int, int).
+:- mode r(in, out) is det.
+
+r(N, P) :-
+	(
+		N = 1
+	->
+		P = 999
+	;
+		ra(N)
+	->
+		(
+			rb(N)
+		->
+			rc(P)
+		;
+			P = 43
+		)
+	;
+		rd(P)
+	).
+
+:- pred ra(int).
+:- mode ra(in) is semidet.
+
+ra(2).
+ra(3).
+
+:- pred rb(int).
+:- mode rb(in) is semidet.
+
+rb(3).
+
+:- pred rc(int).
+:- mode rc(out) is det.
+
+rc(57).
+
+:- pred rd(int).
+:- mode rd(out) is det.
+
+rd(-1).
+
+%-----------------------------------------------------------------------------%
+
+:- pred test4(io__state::di, io__state::uo) is det.
+test4 -->
+	(
+		{ s(1, _, X) },
+		{ sd(X) }
+	->
+		io__write_string("yes\n")
+	;
+		io__write_string("no\n")
+	),
+	(
+		{ s(2, _, Y) },
+		{ sd(Y) }
+	->
+		io__write_string("yes\n")
+	;
+		io__write_string("no\n")
+	).
+
+:- pred s(int, int, int).
+:- mode s(in, out, out) is nondet.
+
+s(1, J, K) :-
+	(
+		sa(J)
+	;
+		sb(J)
+	),
+	(
+		sa(K)
+	;
+		sc(K)
+	).
+s(2, J, K) :-
+	(
+		sa(J),
+		sb(K)
+	;
+		sb(J),
+		sc(K)
+	).
+
+:- pred sa(int).
+:- mode sa(out) is det.
+
+sa(7).
+
+:- pred sb(int).
+:- mode sb(out) is det.
+
+sb(38).
+
+:- pred sc(int).
+:- mode sc(out) is det.
+
+sc(155).
+
+:- pred sd(int).
+:- mode sd(in) is semidet.
+
+sd(-3).
+
+%-----------------------------------------------------------------------------%
+
+:- pred test5(io__state::di, io__state::uo) is det.
+test5 -->
+	(
+		{ t(1, K) }
+	->
+		io__write_int(K),
+		io__nl
+	;
+		io__write_string("no\n")
+	).
+
+:- pred t(int, int).
+:- mode t(in, out) is semidet.
+
+t(J, K) :-
+	\+ ta(J),
+	tb(K),
+	\+ tc(K).
+
+:- pred ta(int).
+:- mode ta(in) is semidet.
+
+ta(0).
+
+:- pred tb(int).
+:- mode tb(out) is det.
+
+tb(77).
+
+:- pred tc(int).
+:- mode tc(in) is semidet.
+
+tc(-654).
+
+%-----------------------------------------------------------------------------%
+
Index: tests/debugger/declarative/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/Mmakefile,v
retrieving revision 1.28
diff -u -r1.28 Mmakefile
--- tests/debugger/declarative/Mmakefile	2001/05/01 08:13:52	1.28
+++ tests/debugger/declarative/Mmakefile	2001/05/03 06:18:15
@@ -36,6 +36,7 @@
 	neg_conj		\
 	negation		\
 	oracle_db		\
+	output_term_dep		\
 	propositional		\
 	queens			\
 	small			\
@@ -49,7 +50,6 @@
 NONWORKING_DECLARATIVE_PROGS=	\
 	higher_order		\
 	ite_2			\
-	output_term_dep		\
 	solutions
 
 MCFLAGS = --trace decl
Index: tests/debugger/declarative/output_term_dep.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/output_term_dep.exp,v
retrieving revision 1.1
diff -u -r1.1 output_term_dep.exp
--- tests/debugger/declarative/output_term_dep.exp	2001/04/23 16:26:31	1.1
+++ tests/debugger/declarative/output_term_dep.exp	2001/05/03 06:33:57
@@ -2,6 +2,8 @@
 mdb> echo on
 Command echo enabled.
 mdb> register --quiet
+mdb> context none
+Contexts will not be printed.
 mdb> break p
  0: + stop  interface pred output_term_dep:p/3-0 (det)
 mdb> break q
@@ -13,9 +15,9 @@
 mdb> break t
  4: + stop  interface pred output_term_dep:t/2-0 (semidet)
 mdb> continue
-       3:      3  3 CALL pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+       3:      3  3 CALL pred output_term_dep:p/3-0 (det)
 mdb> finish
-      10:      3  3 EXIT pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+      10:      3  3 EXIT pred output_term_dep:p/3-0 (det)
 mdb> dd
 p(5, 8, 13)
 Valid? browse 2
@@ -29,14 +31,14 @@
 Found incorrect contour:
 p(5, 8, 13)
 Is this a bug? yes
-      10:      3  3 EXIT pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+      10:      3  3 EXIT pred output_term_dep:p/3-0 (det)
 mdb> continue
 5
 8
 13
-      13:      8  3 CALL pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+      13:      8  3 CALL pred output_term_dep:q/1-0 (det)
 mdb> finish
-      20:      8  3 EXIT pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+      20:      8  3 EXIT pred output_term_dep:q/1-0 (det)
 mdb> dd
 q([[1, 2, 3], [], [99]])
 Valid? browse 1
@@ -50,12 +52,12 @@
 Found incorrect contour:
 q([[1, 2, 3], [], [99]])
 Is this a bug? yes
-      20:      8  3 EXIT pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+      20:      8  3 EXIT pred output_term_dep:q/1-0 (det)
 mdb> continue
 [[1, 2, 3], [], [99]]
-      23:     13  3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+      23:     13  3 CALL pred output_term_dep:r/2-0 (det)
 mdb> finish
-      26:     13  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+      26:     13  3 EXIT pred output_term_dep:r/2-0 (det)
 mdb> dd
 r(1, 999)
 Valid? browse 2
@@ -63,12 +65,12 @@
 Found incorrect contour:
 r(1, 999)
 Is this a bug? yes
-      26:     13  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+      26:     13  3 EXIT pred output_term_dep:r/2-0 (det)
 mdb> continue
 999
-      27:     14  3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+      27:     14  3 CALL pred output_term_dep:r/2-0 (det)
 mdb> finish
-      39:     14  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+      39:     14  3 EXIT pred output_term_dep:r/2-0 (det)
 mdb> dd
 r(2, 43)
 Valid? browse 2
@@ -81,12 +83,12 @@
 Found incorrect contour:
 r(2, 43)
 Is this a bug? yes
-      39:     14  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+      39:     14  3 EXIT pred output_term_dep:r/2-0 (det)
 mdb> continue
 43
-      40:     17  3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+      40:     17  3 CALL pred output_term_dep:r/2-0 (det)
 mdb> finish
-      54:     17  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+      54:     17  3 EXIT pred output_term_dep:r/2-0 (det)
 mdb> dd
 r(3, 57)
 Valid? browse 2
@@ -100,12 +102,12 @@
 Found incorrect contour:
 r(3, 57)
 Is this a bug? yes
-      54:     17  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+      54:     17  3 EXIT pred output_term_dep:r/2-0 (det)
 mdb> continue
 57
-      55:     21  3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+      55:     21  3 CALL pred output_term_dep:r/2-0 (det)
 mdb> finish
-      64:     21  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+      64:     21  3 EXIT pred output_term_dep:r/2-0 (det)
 mdb> dd
 r(4, -1)
 Valid? browse 2
@@ -118,12 +120,12 @@
 Found incorrect contour:
 r(4, -1)
 Is this a bug? yes
-      64:     21  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+      64:     21  3 EXIT pred output_term_dep:r/2-0 (det)
 mdb> continue
 -1
-      68:     25  3 CALL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      68:     25  3 CALL pred output_term_dep:s/3-0 (nondet)
 mdb> finish
-      76:     25  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      76:     25  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> dd
 s(1, 7, 7)
 Valid? browse 2
@@ -133,13 +135,13 @@
 Found incorrect contour:
 sa(7)
 Is this a bug? yes
-      72:     26  4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:171)
+      72:     26  4 EXIT pred output_term_dep:sa/1-0 (det)
 mdb> continue
-      76:     25  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      76:     25  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> continue
-      79:     25  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      79:     25  3 REDO pred output_term_dep:s/3-0 (nondet)
 mdb> finish
-      83:     25  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      83:     25  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> dd
 s(1, 7, 155)
 Valid? browse 3
@@ -149,13 +151,13 @@
 Found incorrect contour:
 sc(155)
 Is this a bug? yes
-      82:     29  4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+      82:     29  4 EXIT pred output_term_dep:sc/1-0 (det)
 mdb> continue
-      83:     25  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      83:     25  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> continue
-      86:     25  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      86:     25  3 REDO pred output_term_dep:s/3-0 (nondet)
 mdb> finish
-      93:     25  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      93:     25  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> dd
 s(1, 38, 7)
 Valid? browse 3
@@ -163,13 +165,13 @@
 Found incorrect contour:
 sa(7)
 Is this a bug? yes
-      92:     32  4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+      92:     32  4 EXIT pred output_term_dep:sa/1-0 (det)
 mdb> continue
-      93:     25  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      93:     25  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> continue
-      96:     25  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+      96:     25  3 REDO pred output_term_dep:s/3-0 (nondet)
 mdb> finish
-     100:     25  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     100:     25  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> dd
 s(1, 38, 155)
 Valid? browse 3
@@ -177,18 +179,18 @@
 Found incorrect contour:
 sc(155)
 Is this a bug? yes
-      99:     34  4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+      99:     34  4 EXIT pred output_term_dep:sc/1-0 (det)
 mdb> continue
-     100:     25  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     100:     25  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> continue
-     103:     25  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     103:     25  3 REDO pred output_term_dep:s/3-0 (nondet)
 mdb> finish
-     104:     25  3 FAIL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     104:     25  3 FAIL pred output_term_dep:s/3-0 (nondet)
 mdb> continue
 no
-     107:     36  3 CALL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     107:     36  3 CALL pred output_term_dep:s/3-0 (nondet)
 mdb> finish
-     114:     36  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     114:     36  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> dd
 s(2, 7, 38)
 Valid? browse 3
@@ -198,13 +200,13 @@
 Found incorrect contour:
 sb(38)
 Is this a bug? yes
-     113:     38  4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:183)
+     113:     38  4 EXIT pred output_term_dep:sb/1-0 (det)
 mdb> continue
-     114:     36  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     114:     36  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> continue
-     117:     36  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     117:     36  3 REDO pred output_term_dep:s/3-0 (nondet)
 mdb> finish
-     123:     36  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     123:     36  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> dd
 s(2, 38, 155)
 Valid? browse 2
@@ -212,18 +214,18 @@
 Found incorrect contour:
 sb(38)
 Is this a bug? yes
-     120:     40  4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:185)
+     120:     40  4 EXIT pred output_term_dep:sb/1-0 (det)
 mdb> continue
-     123:     36  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     123:     36  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> continue
-     126:     36  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     126:     36  3 REDO pred output_term_dep:s/3-0 (nondet)
 mdb> continue
-     127:     36  3 FAIL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     127:     36  3 FAIL pred output_term_dep:s/3-0 (nondet)
 mdb> continue
 no
-     132:     44  3 CALL pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+     132:     44  3 CALL pred output_term_dep:t/2-0 (semidet)
 mdb> finish
-     143:     44  3 EXIT pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+     143:     44  3 EXIT pred output_term_dep:t/2-0 (semidet)
 mdb> dd
 t(1, 77)
 Valid? browse 2
@@ -239,6 +241,6 @@
 Found incorrect contour:
 t(1, 77)
 Is this a bug? yes
-     143:     44  3 EXIT pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+     143:     44  3 EXIT pred output_term_dep:t/2-0 (semidet)
 mdb> continue
 77
Index: tests/debugger/declarative/output_term_dep.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/output_term_dep.exp2,v
retrieving revision 1.1
diff -u -r1.1 output_term_dep.exp2
--- tests/debugger/declarative/output_term_dep.exp2	2001/04/23 16:26:31	1.1
+++ tests/debugger/declarative/output_term_dep.exp2	2001/05/03 06:58:06
@@ -2,6 +2,8 @@
 mdb> echo on
 Command echo enabled.
 mdb> register --quiet
+mdb> context none
+Contexts will not be printed.
 mdb> break p
  0: + stop  interface pred output_term_dep:p/3-0 (det)
 mdb> break q
@@ -13,9 +15,9 @@
 mdb> break t
  4: + stop  interface pred output_term_dep:t/2-0 (semidet)
 mdb> continue
-       3:      3  3 CALL pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+       3:      3  3 CALL pred output_term_dep:p/3-0 (det)
 mdb> finish
-      10:      3  3 EXIT pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+      10:      3  3 EXIT pred output_term_dep:p/3-0 (det)
 mdb> dd
 p(5, 8, 13)
 Valid? browse 2
@@ -29,14 +31,14 @@
 Found incorrect contour:
 p(5, 8, 13)
 Is this a bug? yes
-      10:      3  3 EXIT pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+      10:      3  3 EXIT pred output_term_dep:p/3-0 (det)
 mdb> continue
 5
 8
 13
-      25:     14  3 CALL pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+      25:     14  3 CALL pred output_term_dep:q/1-0 (det)
 mdb> finish
-      32:     14  3 EXIT pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+      32:     14  3 EXIT pred output_term_dep:q/1-0 (det)
 mdb> dd
 q([[1, 2, 3], [], [99]])
 Valid? browse 1
@@ -50,12 +52,12 @@
 Found incorrect contour:
 q([[1, 2, 3], [], [99]])
 Is this a bug? yes
-      32:     14  3 EXIT pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+      32:     14  3 EXIT pred output_term_dep:q/1-0 (det)
 mdb> continue
 [[1, 2, 3], [], [99]]
-      39:     21  3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+      39:     21  3 CALL pred output_term_dep:r/2-0 (det)
 mdb> finish
-      42:     21  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+      42:     21  3 EXIT pred output_term_dep:r/2-0 (det)
 mdb> dd
 r(1, 999)
 Valid? browse 2
@@ -63,12 +65,12 @@
 Found incorrect contour:
 r(1, 999)
 Is this a bug? yes
-      42:     21  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+      42:     21  3 EXIT pred output_term_dep:r/2-0 (det)
 mdb> continue
 999
-      47:     24  3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+      47:     24  3 CALL pred output_term_dep:r/2-0 (det)
 mdb> finish
-      59:     24  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+      59:     24  3 EXIT pred output_term_dep:r/2-0 (det)
 mdb> dd
 r(2, 43)
 Valid? browse 2
@@ -81,12 +83,12 @@
 Found incorrect contour:
 r(2, 43)
 Is this a bug? yes
-      59:     24  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+      59:     24  3 EXIT pred output_term_dep:r/2-0 (det)
 mdb> continue
 43
-      64:     29  3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+      64:     29  3 CALL pred output_term_dep:r/2-0 (det)
 mdb> finish
-      78:     29  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+      78:     29  3 EXIT pred output_term_dep:r/2-0 (det)
 mdb> dd
 r(3, 57)
 Valid? browse 2
@@ -100,12 +102,12 @@
 Found incorrect contour:
 r(3, 57)
 Is this a bug? yes
-      78:     29  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+      78:     29  3 EXIT pred output_term_dep:r/2-0 (det)
 mdb> continue
 57
-      83:     35  3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+      83:     35  3 CALL pred output_term_dep:r/2-0 (det)
 mdb> finish
-      92:     35  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+      92:     35  3 EXIT pred output_term_dep:r/2-0 (det)
 mdb> dd
 r(4, -1)
 Valid? browse 2
@@ -118,12 +120,12 @@
 Found incorrect contour:
 r(4, -1)
 Is this a bug? yes
-      92:     35  3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+      92:     35  3 EXIT pred output_term_dep:r/2-0 (det)
 mdb> continue
 -1
-     100:     41  3 CALL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     100:     41  3 CALL pred output_term_dep:s/3-0 (nondet)
 mdb> finish
-     108:     41  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     108:     41  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> dd
 s(1, 7, 7)
 Valid? browse 2
@@ -133,13 +135,13 @@
 Found incorrect contour:
 sa(7)
 Is this a bug? yes
-     104:     42  4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:171)
+     104:     42  4 EXIT pred output_term_dep:sa/1-0 (det)
 mdb> continue
-     108:     41  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     108:     41  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> continue
-     111:     41  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     111:     41  3 REDO pred output_term_dep:s/3-0 (nondet)
 mdb> finish
-     115:     41  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     115:     41  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> dd
 s(1, 7, 155)
 Valid? browse 3
@@ -149,13 +151,13 @@
 Found incorrect contour:
 sc(155)
 Is this a bug? yes
-     114:     45  4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+     114:     45  4 EXIT pred output_term_dep:sc/1-0 (det)
 mdb> continue
-     115:     41  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     115:     41  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> continue
-     118:     41  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     118:     41  3 REDO pred output_term_dep:s/3-0 (nondet)
 mdb> finish
-     125:     41  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     125:     41  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> dd
 s(1, 38, 7)
 Valid? browse 3
@@ -163,13 +165,13 @@
 Found incorrect contour:
 sa(7)
 Is this a bug? yes
-     124:     48  4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+     124:     48  4 EXIT pred output_term_dep:sa/1-0 (det)
 mdb> continue
-     125:     41  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     125:     41  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> continue
-     128:     41  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     128:     41  3 REDO pred output_term_dep:s/3-0 (nondet)
 mdb> finish
-     132:     41  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     132:     41  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> dd
 s(1, 38, 155)
 Valid? browse 3
@@ -177,18 +179,18 @@
 Found incorrect contour:
 sc(155)
 Is this a bug? yes
-     131:     50  4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+     131:     50  4 EXIT pred output_term_dep:sc/1-0 (det)
 mdb> continue
-     132:     41  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     132:     41  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> continue
-     135:     41  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     135:     41  3 REDO pred output_term_dep:s/3-0 (nondet)
 mdb> finish
-     136:     41  3 FAIL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+     136:     41  3 FAIL pred output_term_dep:s/3-0 (nondet)
 mdb> continue
 no
-     141:     53  3 CALL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     141:     53  3 CALL pred output_term_dep:s/3-0 (nondet)
 mdb> finish
-     148:     53  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     148:     53  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> dd
 s(2, 7, 38)
 Valid? browse 3
@@ -198,13 +200,13 @@
 Found incorrect contour:
 sb(38)
 Is this a bug? yes
-     147:     55  4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:183)
+     147:     55  4 EXIT pred output_term_dep:sb/1-0 (det)
 mdb> continue
-     148:     53  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     148:     53  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> continue
-     151:     53  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     151:     53  3 REDO pred output_term_dep:s/3-0 (nondet)
 mdb> finish
-     157:     53  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     157:     53  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> dd
 s(2, 38, 155)
 Valid? browse 2
@@ -212,18 +214,18 @@
 Found incorrect contour:
 sb(38)
 Is this a bug? yes
-     154:     57  4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:185)
+     154:     57  4 EXIT pred output_term_dep:sb/1-0 (det)
 mdb> continue
-     157:     53  3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     157:     53  3 EXIT pred output_term_dep:s/3-0 (nondet)
 mdb> continue
-     160:     53  3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     160:     53  3 REDO pred output_term_dep:s/3-0 (nondet)
 mdb> continue
-     161:     53  3 FAIL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+     161:     53  3 FAIL pred output_term_dep:s/3-0 (nondet)
 mdb> continue
 no
-     168:     62  3 CALL pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+     168:     62  3 CALL pred output_term_dep:t/2-0 (semidet)
 mdb> finish
-     179:     62  3 EXIT pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+     179:     62  3 EXIT pred output_term_dep:t/2-0 (semidet)
 mdb> dd
 t(1, 77)
 Valid? browse 2
@@ -239,6 +241,6 @@
 Found incorrect contour:
 t(1, 77)
 Is this a bug? yes
-     179:     62  3 EXIT pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+     179:     62  3 EXIT pred output_term_dep:t/2-0 (semidet)
 mdb> continue
 77
Index: tests/debugger/declarative/output_term_dep.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/output_term_dep.inp,v
retrieving revision 1.1
diff -u -r1.1 output_term_dep.inp
--- tests/debugger/declarative/output_term_dep.inp	2001/04/23 16:26:31	1.1
+++ tests/debugger/declarative/output_term_dep.inp	2001/05/03 06:20:49
@@ -1,5 +1,6 @@
 echo on
 register --quiet
+context none
 break p
 break q
 break r
--------------------------------------------------------------------------
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