[m-rev.] for review: change the way IO actions are handled in the declarative debugger

[Ian MacLarty]

On Fri, 17 Jun 2005, Julien Fischer wrote:

>
>
> On Wed, 15 Jun 2005, Ian MacLarty wrote:
>
> > For review by anyone.
> >
> > Estimated hours taken: 4
> > Branches: main
> >
> > Do not build an IO action map to pass around to predicates in the
> > declarative debugger that need access to IO actions.
...
> > Use the --force-disable-tracing option to turn off tracing in the browser
> > directory, even in .debug and .decldebug grades.
> >
> Don't forget that you'll need to let that change bootstrap on all of
> our machines before committing this.
>

I've also changed configure.in to check for the new option:

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.417
diff -u -r1.417 configure.in
--- configure.in	18 May 2005 05:44:52 -0000	1.417
+++ configure.in	17 Jun 2005 05:58:48 -0000
@@ -231,11 +231,11 @@
 		").
 EOF
 	if
-		# Test for the `--read-config-file-2003-03-01' option
+		# Test for the `--force-disable-tracing' option
 		echo $BOOTSTRAP_MC conftest >&AC_FD_CC 2>&1 &&
 		$BOOTSTRAP_MC \
 			--verbose \
-			--read-config-file-2003-03-01 \
+			--force-disable-tracing \
 			--halt-at-warn $link_static_opt conftest \
 			</dev/null >&AC_FD_CC 2>&1 &&
 		test "`./conftest 2>&1 | tr -d '\015'`" = "Hello, world" &&

And updated the CVS log:

configure.in
	Check that the --force-disable-tracing option is recongnised by the
	installed compiler, since we now use this option.

Ian.

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