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

[Fergus Henderson]

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.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------