MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-05/tests/warnings' { echo MCFLAGS += '--grade csharp --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-05/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-suspicious-recursion -E '; echo MCFLAGS += ' '; echo CFLAGS += ' '; echo JAVACFLAGS += '-J"-Xmx1024m" '; echo CSCFLAGS += ' '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-05/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-05/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-09-05/stage2/scripts/mmc --make --options-file - suspicious_recursion.depend make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-05/tests/warnings' make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-05/tests/warnings' { echo MCFLAGS += '--grade csharp --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-05/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-suspicious-recursion -E '; echo MCFLAGS += ' '; echo CFLAGS += ' '; echo JAVACFLAGS += '-J"-Xmx1024m" '; echo CSCFLAGS += ' '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-05/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-05/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-09-05/stage2/scripts/mmc --make --options-file - suspicious_recursion.err Making Mercury/int3s/suspicious_recursion.int3 Making Mercury/ints/suspicious_recursion.int ** Nothing to be done for `suspicious_recursion.err'. rm -f suspicious_recursion.res_error diff -u suspicious_recursion.err_exp suspicious_recursion.err > suspicious_recursion.res_error || \ { test -f suspicious_recursion.err_exp2 && \ diff -u suspicious_recursion.err_exp2 suspicious_recursion.err > suspicious_recursion.res_error; } || \ { test -f suspicious_recursion.err_exp3 && \ diff -u suspicious_recursion.err_exp3 suspicious_recursion.err > suspicious_recursion.res_error; } || \ { test -f suspicious_recursion.err_exp4 && \ diff -u suspicious_recursion.err_exp4 suspicious_recursion.err > suspicious_recursion.res_error; } || \ { cat suspicious_recursion.err; cat suspicious_recursion.res_error; exit 1; } --- suspicious_recursion.err_exp 2024-05-20 21:50:23.000000000 +1000 +++ suspicious_recursion.err 2024-09-06 18:48:30.766398421 +1000 @@ -1,13 +0,0 @@ -suspicious_recursion.m:031: Warning: recursive call to predicate -suspicious_recursion.m:031: `funny_append'/3 is suspicious, because variables -suspicious_recursion.m:031: whose names start with As and Bs occupy different -suspicious_recursion.m:031: argument positions in the call than in the clause -suspicious_recursion.m:031: head. -suspicious_recursion.m:031: This warning can be disabled by wrapping the -suspicious_recursion.m:031: recursive call inside a -suspicious_recursion.m:031: `disable_warning [suspicious_recursion] (...)' -suspicious_recursion.m:031: scope. -suspicious_recursion.m:042: Warning: recursive call to predicate `sum'/3 is -suspicious_recursion.m:042: suspicious, because all input argument positions -suspicious_recursion.m:042: that differ between the clause head and the call -suspicious_recursion.m:042: use state variable notation. make[3]: *** [/tmp/mmake.VMztRf:922: suspicious_recursion.res_error] Error 1 make[3]: Target 'suspicious_recursion.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-05/tests/warnings'