[m-rev.] trivial diff: fix tests/invalid/assert_in_interface failure

[Simon Taylor]

Estimated hours taken: 0.1
Branches: main

tests/invalid/Mmakefile:
	Disable `--intermodule-optimization' for assert_in_interface.m.
	This test should work with --intermodule-optimization, but
	the compiler doesn't know whether items imported from `.opt' files
	were imported from the interface or the implementation. The error
	is reported correctly when building the `.opt' file.

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/Mmakefile,v
retrieving revision 1.94
diff -u -u -r1.94 Mmakefile
--- Mmakefile	2001/08/19 08:10:56	1.94
+++ Mmakefile	2001/08/23 06:02:44
@@ -144,6 +144,13 @@
 MCFLAGS-aditi_update_errors =	--aditi --no-intermodule-optimization
 MCFLAGS-aditi_update_mode_errors = --aditi --no-intermodule-optimization
 MCFLAGS-any_mode	=	--infer-types
+
+# XXX This test should work with --intermodule-optimization, but
+# the compiler doesn't know whether items imported from `.opt' files
+# were imported in the interface or the implementation. The error
+# is reported correctly when building the `.opt' file.
+MCFLAGS-assert_in_interface =	--no-intermodule-optimization
+
 MCFLAGS-duplicate_modes	=	--verbose-error-messages
 MCFLAGS-exported_mode =		--infer-all --no-intermodule-optimization
 MCFLAGS-imported_mode =		--infer-all --no-intermodule-optimization
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------