[m-rev.] trivial diff: fix test case failure with --intermodule-optimization

Simon Taylor stayl at cs.mu.OZ.AU
Sun Aug 19 18:11:30 AEST 2001


Estimated hours taken: 0.1
Branches: main

tests/invalid/Mmakefile:
	Disable `--intermodule-optimization' for overloading.m.
	`--intermodule-optimization' causes imported abstract
	equivalence types to be expanded, which changes the
	type error output.

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/Mmakefile,v
retrieving revision 1.93
diff -u -u -r1.93 Mmakefile
--- Mmakefile	2001/08/10 08:29:38	1.93
+++ Mmakefile	2001/08/19 08:06:44
@@ -152,6 +152,7 @@
 MCFLAGS-multisoln_func	=	--infer-types
 MCFLAGS-mode_inf	=	--infer-all
 MCFLAGS-no_exports = 		--halt-at-warn
+MCFLAGS-overloading = 		--no-intermodule-optimization
 MCFLAGS-sub_c = 		--verbose-error-messages
 MCFLAGS-record_syntax_errors =	--verbose-error-messages
 MCFLAGS-test_nested =		--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
--------------------------------------------------------------------------



More information about the reviews mailing list