[m-rev.] diff: Fix failure of invalid/coerce_typecheck_eqv.m

[Peter Wang]

invalid/coerce_typecheck_eqv.m requires its helper module
coerce_typecheck_eqv_helper_1.m to abstractly export a type that is a
polymorphic equivalence type with a monomorphic definition.
That is not actually supported by the Mercury compiler yet,
but it only reports an error if we try to generate target code for
coerce_typecheck_eqv_helper_1.m (which we don't),
or while generating an intermodule optimisation interface file.

tests/invalid/Mercury.options:
    Disable intermodule optimisation for the test case so as not to
    generate the intermodule optimisation interface file.

diff --git a/tests/invalid/Mercury.options b/tests/invalid/Mercury.options
index d29818e81..fb4603dd1 100644
--- a/tests/invalid/Mercury.options
+++ b/tests/invalid/Mercury.options
@@ -31,6 +31,8 @@ MCFLAGS-bug238                  += --constraint-propagation
 MCFLAGS-children                += --no-intermodule-optimization
 MCFLAGS-coerce_implied_mode     += --halt-at-warn
 MCFLAGS-coerce_infer            += --infer-all
+MCFLAGS-coerce_typecheck_eqv	+= --no-intermodule-optimization
+MCFLAGS-coerce_typecheck_eqv_helper_1 += --no-intermodule-optimization
 MCFLAGS-coerce_void             += --halt-at-warn
 MCFLAGS-duplicate_instance      += --no-intermodule-optimization
 MCFLAGS-duplicate_instance_helper_1 += --no-intermodule-optimization
-- 
2.49.0