[m-rev.] trivial diff: fix failing tests on earth

Simon Taylor stayl at cs.mu.OZ.AU
Mon May 7 16:12:26 AEST 2001



Estimated hours taken: 0.1

tests/invalid/Mmakefile:
	Fix problems which caused the tests to fail on earth.cs.mu.oz.au.

	Disable --intermodule-optimzation for some recently added
	tests because it causes errors to be reported when writing
	the `.opt' file rather than compiling to C.

	Move the transitive_import test case to the multi-module
	test list.

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/Mmakefile,v
retrieving revision 1.83
diff -u -u -r1.83 Mmakefile
--- Mmakefile	2001/05/02 17:34:48	1.83
+++ Mmakefile	2001/05/07 06:05:25
@@ -19,6 +19,7 @@
 	imported_mode.m \
 	partial_implied_mode.m \
 	test_nested.m \
+	transitive_import.m \
 	transitive_import_class.m \
 	undef_mod_qual.m
 
@@ -78,7 +79,6 @@
 	spurious_mode_error.m \
 	tc_err1.m \
 	tc_err2.m \
-	transitive_import.m \
 	tricky_assert1.m \
 	type_inf_loop.m \
 	type_loop.m \
@@ -144,6 +144,11 @@
 MCFLAGS-sub_c = 		--verbose-error-messages
 MCFLAGS-record_syntax_errors =	--verbose-error-messages
 MCFLAGS-test_nested =		--no-intermodule-optimization
+MCFLAGS-transitive_import = --no-intermodule-optimization
+MCFLAGS-transitive_import2 = --no-intermodule-optimization
+MCFLAGS-transitive_import_class = --no-intermodule-optimization
+MCFLAGS-transitive_import_class2 = --no-intermodule-optimization
+MCFLAGS-transitive_import_class3 = --no-intermodule-optimization
 MCFLAGS-typeclass_mode =	--infer-all
 MCFLAGS-undef_mod_qual = 	--no-intermodule-optimization
 MCFLAGS-undef_symbol = 		--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