[m-dev.] diff: avoid test case failures with --intermodule-optimization

[Simon Taylor]

On Mon, Mar 05, 2001 at 02:26:24PM +1100, Fergus Henderson wrote:
> On 05-Mar-2001, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > 
> > tests/invalid/Mmakefile:
> > tests/warnings/Mmakefile:
> > 	Avoid spurious test case failures when running the tests
> > 	with `--intermodule-optimization'.
> ...
> > +++ warnings/Mmakefile	2001/03/05 02:18:43
> > @@ -28,22 +28,26 @@
> >  
> >  # some files need to be compiled with special options
> >  
> > +	# The warnings for this module are reported twice when
> > +	# compiling with --intermodule-optimization due to a
> > +	# performance bug in the handling of assertions
> > +	# which causes typechecking to be run twice.
> > +MCFLAGS-ambiguous_overloading	= --no-intermodule-optimization
> 
> That test case failure is not spurious.
> 
> It's OK to disable it, but if so there should at least be an XXX
> on the comment.

Estimated hours taken: 0.1

tests/warnings/Mmakefile:
	Add an XXX in the comment about disabling inter-module optimization
	for the ambiguous_overloading test case because the failure
	is a symptom of a bug which should be fixed.

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/warnings/Mmakefile,v
retrieving revision 1.17
diff -u -u -r1.17 Mmakefile
--- Mmakefile	2001/03/05 02:50:54	1.17
+++ Mmakefile	2001/03/05 03:29:10
@@ -28,7 +28,7 @@
 
 # some files need to be compiled with special options
 
-	# The warnings for this module are reported twice when
+	# XXX The warnings for this module are reported twice when
 	# compiling with --intermodule-optimization due to a
 	# performance bug in the handling of assertions
 	# which causes typechecking to be run twice.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------