Estimated hours taken: 0.1
tests/debugger/loopcheck.{inp,exp}:
Explicitly turn on echoing, to make sure that the results are the same
with and without readline.
Estimated hours taken: 4
Add meaningful contexts to the goals inserted into predicates by tabling,
for use by the debugger.
compiler/table_gen.m:
Pass the context of the procedure body through the code, and create
new goals with this context.
To make this simpler, switch to consistently using combined predmode
definitions. In a couple of places, switch to a more reasonable
argument ordering.
tests/debugger/loopcheck.*
Copy this test case here from the tabling directory, and execute it
under mdb, as a regression test.
The exp2 test case is not final yet.
tests/debugger/Mmakefile:
Enable the regression test.
