[m-dev.] for review: enable declarative debugging by default

[Mark Anthony BROWN]

Fergus Henderson writes:
> 
> On 31-May-1999, Mark Anthony BROWN <dougl at cs.mu.OZ.AU> wrote:
> > 
> > Make declarative debugging enabled by default.
> 
> Most of this change is actually related to adding some
> test cases, so I think that should be mentioned in the
> summary.
> 
> Incidentally, what's the rationale?
> (i.e. please document it in the log message.)
> 

The new log message is:

Estimated hours taken: 4

Make declarative debugging enabled by default, and add test cases.
The declarative debugger, while not complete, is fairly stable so
users will be able to experiment with it after this change without
having to re-configure the whole system.  However, the main motivation
for this change is so that developers who make changes to the system
will have access to these test cases.

configure.in:
	Turn the decl-debug feature on by default.

tests/debugger/declarative:
	New directory containing tests for the declarative debugger.

tests/debugger/declarative/*.m:
tests/debugger/declarative/*.inp:
tests/debugger/declarative/*.exp:
	Declarative debugger test cases.

tests/debugger/declarative/Mmakefile:
	Mmakefile to do the declarative debugger tests.

tests/debugger/Mmakefile:
	For each target, make the corresponding target in the
	'declarative' subdirectory.

WORK_IN_PROGRESS:
	Document the new (incomplete) feature.


> If the rationale is "so that users can use it", then I think
> it should get a mention in the NEWS file and the WWW page.
> If users are not supposed to use it yet, then it should
> probably be mentioned in the WORK_IN_PROGRESS file.
> 

This is the extra part of the diff:

Index: WORK_IN_PROGRESS
===================================================================
RCS file: /home/mercury1/repository/mercury/WORK_IN_PROGRESS,v
retrieving revision 1.10
diff -u -r1.10 WORK_IN_PROGRESS
--- WORK_IN_PROGRESS	1998/11/05 08:55:44	1.10
+++ WORK_IN_PROGRESS	1999/06/02 06:52:12
@@ -37,6 +37,9 @@
   included in the formatted versions of the reference manual,
   only in the TexInfo source code.)
 
+* The Mercury debugger (mdb) now includes some support for declarative
+  debugging.
+
 We also have some code that goes at least some part of the way towards
 implementing the features below.   However, for these features, the
 code has not yet been committed and thus is not part of the standard


> Apart from the above minor quibbles, your change looks fine.
> Thanks.
> 

I will commit it now (with the above changes).

Cheers,
Mark
-- 
Mark Brown  (dougl at cs.mu.oz.au)       )O+   |  For Microsoft to win,
MEngSc student,                             |  the customer must lose
Dept of Computer Science, Melbourne Uni     |          -- Eric S. Raymond
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------