MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-06-01/tests/invalid' /mnt/testing/run/build/mercury-srcdist-rotd-2024-06-01/stage2/scripts/mmc --make-interface --grade asm_fast.gc.profdeep.stseg --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --enable-color-diagnostics -O0 --optimise-tailcalls --warn-non-tail-recursion self-and-mutual \ require_tailrec_3.m > require_tailrec_3.int_err 2>&1; if /mnt/testing/run/build/mercury-srcdist-rotd-2024-06-01/stage2/scripts/mmc --target-code-only --grade asm_fast.gc.profdeep.stseg --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --enable-color-diagnostics -O0 --optimise-tailcalls --warn-non-tail-recursion self-and-mutual \ require_tailrec_3.m > require_tailrec_3.err 2>&1; \ then false; \ else true; \ fi Comparing require_tailrec_3.err with require_tailrec_3.err_exp*, results in require_tailrec_3.err_res ** require_tailrec_3.err did not match the expected error output ** (closest match was require_tailrec_3.err_res1) --- require_tailrec_3.err_exp 2024-05-31 21:33:50.000000000 +1000 +++ require_tailrec_3.err 2024-06-02 09:29:02.226339335 +1000 @@ -1,9 +1,18 @@ require_tailrec_3.m:038: In mode number 1 of function `even1'/1: require_tailrec_3.m:038: warning: mutually recursive call to function require_tailrec_3.m:038: `odd1'/1 is not tail recursive. +require_tailrec_3.m:044: In mode number 1 of function `odd1'/1: +require_tailrec_3.m:044: warning: mutually recursive call to function +require_tailrec_3.m:044: `even1'/1 is not tail recursive. require_tailrec_3.m:053: In mode number 1 of function `even2'/1: require_tailrec_3.m:053: error: mutually recursive call to function `odd2'/1 require_tailrec_3.m:053: is not tail recursive. +require_tailrec_3.m:059: In mode number 1 of function `odd2'/1: +require_tailrec_3.m:059: warning: mutually recursive call to function +require_tailrec_3.m:059: `even2'/1 is not tail recursive. require_tailrec_3.m:068: In mode number 1 of function `even3'/1: require_tailrec_3.m:068: warning: mutually recursive call to function require_tailrec_3.m:068: `odd3'/1 is not tail recursive. +require_tailrec_3.m:074: In mode number 1 of function `odd3'/1: +require_tailrec_3.m:074: warning: mutually recursive call to function +require_tailrec_3.m:074: `even3'/1 is not tail recursive. make[3]: *** [../Mmake.common:172: require_tailrec_3.err_res] Error 1 make[3]: Target 'require_tailrec_3.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-06-01/tests/invalid'