MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2020-10-19/tests/invalid' if /mnt/testing/run/build/mercury-srcdist-rotd-2020-10-19/stage2/scripts/mmc --target-code-only --grade asm_fast.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt -O0 --optimise-tailcalls --no-warn-non-tail-recursion \ require_tailrec_1 > require_tailrec_1.err 2>&1; \ then false; \ else true; \ fi Comparing require_tailrec_1.err with require_tailrec_1.err_exp*, results in require_tailrec_1.err_res ** require_tailrec_1.err did not match the expected error output ** (closest match was require_tailrec_1.err_res1) --- require_tailrec_1.err_exp 2020-10-11 14:28:49.000000000 +1100 +++ require_tailrec_1.err 2020-10-21 05:41:31.057808694 +1100 @@ -2,9 +2,12 @@ require_tailrec_1.m:050: warning: self-recursive call is not tail recursive. require_tailrec_1.m:057: In mode number 1 of predicate `map2'/3: require_tailrec_1.m:057: warning: self-recursive call is not tail recursive. -require_tailrec_1.m:065: In mode number 1 of function `even1'/1: -require_tailrec_1.m:065: warning: mutually recursive call to function -require_tailrec_1.m:065: `odd1'/1 is not tail recursive. +require_tailrec_1.m:069: In `:- pragma require_tail_recursion' for function +require_tailrec_1.m:069: `odd1'/1: +require_tailrec_1.m:069: warning: the code defining this function contains no +require_tailrec_1.m:069: recursive calls at all, tail-recursive or otherwise. +require_tailrec_1.m:074: In mode number 1 of function `even1'/1: +require_tailrec_1.m:074: warning: self-recursive call is not tail recursive. require_tailrec_1.m:085: In mode number 1 of predicate `qsortapp_1'/2: require_tailrec_1.m:085: warning: self-recursive call is not tail recursive. require_tailrec_1.m:103: In mode number 1 of predicate `qsortapp_3'/2: ../Mmake.common:169: recipe for target 'require_tailrec_1.err_res' failed make[3]: *** [require_tailrec_1.err_res] Error 1 make[3]: Target 'require_tailrec_1.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2020-10-19/tests/invalid'