MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-12/tests/warnings'
{ echo MCFLAGS += '--grade csharp     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-12/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --output-compile-error-lines 0 --color-diagnostics --infer-all --use-subdirs  --warn-insts-without-matching-type --intermodule-optimization --no-intermodule-analysis  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-12/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-12/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-08-12/stage2/scripts/mmc --make --options-file - inst_with_no_type.depend
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-12/tests/warnings'
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-12/tests/warnings'
{ echo MCFLAGS += '--grade csharp     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-12/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --output-compile-error-lines 0 --color-diagnostics --infer-all --use-subdirs  --warn-insts-without-matching-type --intermodule-optimization --no-intermodule-analysis  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-12/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-12/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-08-12/stage2/scripts/mmc --make --options-file - inst_with_no_type.err
Making Mercury/int3s/inst_with_no_type.int3
Making Mercury/int3s/inst_with_no_type_helper_1.int3
Making Mercury/ints/inst_with_no_type.int
Making Mercury/ints/inst_with_no_type_helper_1.int
Making Mercury/opts/inst_with_no_type.opt
Making Mercury/opts/inst_with_no_type_helper_1.opt
Making Mercury/opts/time.opt
... output log truncated, see `time.err' for the complete log.
Making Mercury/opts/time.subtime.opt
** Nothing to be done for `inst_with_no_type.err'.
rm -f inst_with_no_type.res_error
diff -u inst_with_no_type.err_exp inst_with_no_type.err > inst_with_no_type.res_error || \
	{ test -f inst_with_no_type.err_exp2 && \
	  diff -u inst_with_no_type.err_exp2 inst_with_no_type.err > inst_with_no_type.res_error; } || \
	{ test -f inst_with_no_type.err_exp3 && \
	  diff -u inst_with_no_type.err_exp3 inst_with_no_type.err > inst_with_no_type.res_error; } || \
	{ test -f inst_with_no_type.err_exp4 && \
	  diff -u inst_with_no_type.err_exp4 inst_with_no_type.err > inst_with_no_type.res_error; } || \
	{ cat inst_with_no_type.err; cat inst_with_no_type.res_error; exit 1; }
--- inst_with_no_type.err_exp	2024-05-11 21:07:43.000000000 +1000
+++ inst_with_no_type.err	2024-08-13 15:45:46.269622758 +1000
@@ -1,54 +0,0 @@
-inst_with_no_type.m:018: Warning: inst `i1_no_match'/0 does not match any of
-inst_with_no_type.m:018:   the types in scope.
-inst_with_no_type.m:018:   The closest match is inst_with_no_type.t1/0, for
-inst_with_no_type.m:018:   which the top level mismatches are the following.
-inst_with_no_type.m:018:   In bound functor #1:
-inst_with_no_type.m:018:   function symbol t1_f1 has arity 1,
-inst_with_no_type.m:018:   expected arity was 2.
-inst_with_no_type.m:039: Warning: inst `i2_no_match'/1 does not match any of
-inst_with_no_type.m:039:   the types in scope.
-inst_with_no_type.m:039:   The closest match is inst_with_no_type.t2/1, for
-inst_with_no_type.m:039:   which the top level mismatches are the following.
-inst_with_no_type.m:039:   In bound functor #2:
-inst_with_no_type.m:039:   function symbol i2_f2 has arity 4,
-inst_with_no_type.m:039:   expected arity was 3.
-inst_with_no_type.m:050: Warning: inst `i4_no_match'/0 does not match any of
-inst_with_no_type.m:050:   the types in scope.
-inst_with_no_type.m:050:   The closest match is int, for which the top level
-inst_with_no_type.m:050:   mismatches are the following.
-inst_with_no_type.m:050:   In bound functor #3:
-inst_with_no_type.m:050:   function symbol is "3"/0.
-inst_with_no_type.m:063: Warning: inst `i7_no_match'/0 does not match any of
-inst_with_no_type.m:063:   the types in scope.
-inst_with_no_type.m:063:   There are 2 equally close matches.
-inst_with_no_type.m:063:   The first match is int, for which the top level
-inst_with_no_type.m:063:   mismatches are the following.
-inst_with_no_type.m:063:   In bound functor #2:
-inst_with_no_type.m:063:   function symbol is 1.0/0.
-inst_with_no_type.m:063:   The second match is float, for which the top level
-inst_with_no_type.m:063:   mismatches are the following.
-inst_with_no_type.m:063:   In bound functor #1:
-inst_with_no_type.m:063:   function symbol is 1/0.
-inst_with_no_type.m:074: Warning: inst `mostly_unique_inst'/0 is exported, but
-inst_with_no_type.m:074:   the one type it matches (inst_with_no_type.fruit/0)
-inst_with_no_type.m:074:   is not visible from outside this module.
-inst_with_no_type.m:076: Warning: inst `mostly_unique_no_match'/0 does not
-inst_with_no_type.m:076:   match any of the types in scope.
-inst_with_no_type.m:076:   The closest match is inst_with_no_type.fruit/0, for
-inst_with_no_type.m:076:   which the top level mismatches are the following.
-inst_with_no_type.m:076:   In bound functor #2:
-inst_with_no_type.m:076:   function symbol is banana/0.
-inst_with_no_type.m:078: Warning: inst `unique_inst'/0 is exported, but the one
-inst_with_no_type.m:078:   type it matches (inst_with_no_type.fruit/0) is not
-inst_with_no_type.m:078:   visible from outside this module.
-inst_with_no_type.m:080: Warning: inst `unique_no_match'/0 does not match any
-inst_with_no_type.m:080:   of the types in scope.
-inst_with_no_type.m:080:   The closest match is inst_with_no_type.fruit/0, for
-inst_with_no_type.m:080:   which the top level mismatches are the following.
-inst_with_no_type.m:080:   In bound functor #2:
-inst_with_no_type.m:080:   function symbol is banana/0.
-inst_with_no_type.m:083: Warning: inst `citrus'/0 is exported, but the one type
-inst_with_no_type.m:083:   it matches (inst_with_no_type.fruit/0) is not
-inst_with_no_type.m:083:   visible from outside this module.
-inst_with_no_type.m:097: Warning: inst `t_no_match'/0 does not match any of the
-inst_with_no_type.m:097:   types in scope.
make[3]: *** [/tmp/mmake.7GYKpT:922: inst_with_no_type.res_error] Error 1
make[3]: Target 'inst_with_no_type.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-12/tests/warnings'