[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