MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/tests/invalid'
../Mmake.common:335: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9eMvxW:1301: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9eMvxW:1945: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9eMvxW:1945: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9eMvxW:1945: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9eMvxW:1945: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9eMvxW:1945: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9eMvxW:1945: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9eMvxW:1945: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9eMvxW:1946: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9eMvxW:1946: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9eMvxW:1946: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9eMvxW:1946: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9eMvxW:1946: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9eMvxW:1946: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9eMvxW:1946: warning: undefined variable 'TRAILED_PROGS'
{ echo MCFLAGS += '--grade csharp     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics --use-subdirs  --no-intermodule-optimization  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/stage2/runtime/mer_rt.init    '; echo MLLIBS += '   '; echo MLOBJS += '  '; echo LDFLAGS += '  '; echo LD_LIBFLAGS += '  '; echo EXTRA_LIBRARIES += ''; echo EXTRA_LIB_DIRS += ''; echo LIBGRADES = 'hlc.gc  '; echo INSTALL_PREFIX = '/mnt/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/stage2/scripts/mmc --make --options-file - foreign_type_visibility.err
Making Mercury/int3s/foreign_type_visibility.int3
Making Mercury/ints/foreign_type_visibility.int
Making foreign_type_visibility.err
foreign_type_visibility.m:022: Error: since the Mercury declaration of
foreign_type_visibility.m:022:   `foreign'/0 is in the implementation section,
foreign_type_visibility.m:022:   any foreign type definition for it must be in
foreign_type_visibility.m:022:   the implementation section as well.
foreign_type_visibility.m:018:   That Mercury declaration is here.
foreign_type_visibility.m:026: Error: the type `foreign2'/0 has no definition
foreign_type_visibility.m:026:   that is valid when targeting C#; neither a
foreign_type_visibility.m:026:   Mercury definition, nor a
foreign_type_visibility.m:026:   `:- pragma foreign_type' declaration for C#.
foreign_type_visibility.m:033: Error: since some foreign language definition of
foreign_type_visibility.m:033:   `foreign2'/0 is in the interface section, all
foreign_type_visibility.m:033:   other foreign language definitions for it must
foreign_type_visibility.m:033:   be in the interface section as well.
foreign_type_visibility.m:026:   That foreign definition in the interface is
foreign_type_visibility.m:026:   here.
... output log truncated, see `foreign_type_visibility.err' for the complete log.
** Error making `foreign_type_visibility.err'.
make[3]: [/tmp/mmake.9eMvxW:1302: foreign_type_visibility.err] Error 1 (ignored)
if { echo MCFLAGS += '--grade csharp     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics --use-subdirs  --no-intermodule-optimization  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/stage2/runtime/mer_rt.init    '; echo MLLIBS += '   '; echo MLOBJS += '  '; echo LDFLAGS += '  '; echo LD_LIBFLAGS += '  '; echo EXTRA_LIBRARIES += ''; echo EXTRA_LIB_DIRS += ''; echo LIBGRADES = 'hlc.gc  '; echo INSTALL_PREFIX = '/mnt/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/stage2/scripts/mmc --make --options-file - -r foreign_type_visibility.err > /dev/null 2>&1 ; \
then false; \
else true; \
fi
Comparing foreign_type_visibility.err with foreign_type_visibility.err_exp*,
	results in foreign_type_visibility.err_res
** foreign_type_visibility.err did not match the expected error output
** (closest match was foreign_type_visibility.err_res1)
--- foreign_type_visibility.err_exp	2024-05-11 21:07:43.000000000 +1000
+++ foreign_type_visibility.err	2024-07-18 15:04:18.519840400 +1000
@@ -4,9 +4,9 @@
 foreign_type_visibility.m:022:   the implementation section as well.
 foreign_type_visibility.m:018:   That Mercury declaration is here.
 foreign_type_visibility.m:026: Error: the type `foreign2'/0 has no definition
-foreign_type_visibility.m:026:   that is valid when targeting C; neither a
+foreign_type_visibility.m:026:   that is valid when targeting C#; neither a
 foreign_type_visibility.m:026:   Mercury definition, nor a
-foreign_type_visibility.m:026:   `:- pragma foreign_type' declaration for C.
+foreign_type_visibility.m:026:   `:- pragma foreign_type' declaration for C#.
 foreign_type_visibility.m:033: Error: since some foreign language definition of
 foreign_type_visibility.m:033:   `foreign2'/0 is in the interface section, all
 foreign_type_visibility.m:033:   other foreign language definitions for it must
make[3]: *** [../Mmake.common:172: foreign_type_visibility.err_res] Error 1
make[3]: Target 'foreign_type_visibility.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/tests/invalid'