MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-06-24/tests/invalid' /mnt/testing/run/build/mercury-srcdist-rotd-2023-06-24/stage2/scripts/mmc --make-interface --grade hlc.par.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS \ ho_any_inst.m > ho_any_inst.int_err 2>&1; if /mnt/testing/run/build/mercury-srcdist-rotd-2023-06-24/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS \ ho_any_inst.m > ho_any_inst.err 2>&1; \ then false; \ else true; \ fi Comparing ho_any_inst.err with ho_any_inst.err_exp*, results in ho_any_inst.err_res ** ho_any_inst.err did not match the expected error output ** (closest match was ho_any_inst.err_res1) --- ho_any_inst.err_exp 2020-11-15 21:25:21.000000000 +1100 +++ ho_any_inst.err 2023-06-25 14:45:07.395690368 +1000 @@ -1,29 +1 @@ -ho_any_inst.m:052: In clause for `cond0(in, out)': -ho_any_inst.m:052: in higher-order predicate call: -ho_any_inst.m:052: scope error: attempt to bind a non-local variable inside -ho_any_inst.m:052: the condition of an if-then-else. -ho_any_inst.m:052: Variable `P' has instantiatedness `(any_pred is semidet)', -ho_any_inst.m:052: expected instantiatedness was `(pred is semidet)'. -ho_any_inst.m:060: In clause for `neg0(in)': -ho_any_inst.m:060: in higher-order predicate call: -ho_any_inst.m:060: scope error: attempt to bind a non-local variable inside a -ho_any_inst.m:060: negation. -ho_any_inst.m:060: Variable `P' has instantiatedness `(any_pred is semidet)', -ho_any_inst.m:060: expected instantiatedness was `(pred is semidet)'. -ho_any_inst.m:064: In clause for `cond1(in, out)': -ho_any_inst.m:064: in higher-order predicate call: -ho_any_inst.m:064: scope error: attempt to bind a non-local variable inside -ho_any_inst.m:064: the condition of an if-then-else. -ho_any_inst.m:064: Variable `P' has instantiatedness -ho_any_inst.m:064: `(any_pred(in(any)) is semidet)', -ho_any_inst.m:064: expected instantiatedness was -ho_any_inst.m:064: `(pred(in(any)) is semidet)'. -ho_any_inst.m:072: In clause for `neg1(in)': -ho_any_inst.m:072: in higher-order predicate call: -ho_any_inst.m:072: scope error: attempt to bind a non-local variable inside a -ho_any_inst.m:072: negation. -ho_any_inst.m:072: Variable `P' has instantiatedness -ho_any_inst.m:072: `(any_pred(in(any)) is semidet)', -ho_any_inst.m:072: expected instantiatedness was -ho_any_inst.m:072: `(pred(in(any)) is semidet)'. -For more information, recompile with `-E'. +Segmentation fault (core dumped) make[3]: *** [../Mmake.common:172: ho_any_inst.err_res] Error 1 make[3]: Target 'ho_any_inst.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-06-24/tests/invalid'