[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