MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-02-21/tests/invalid' /mnt/testing/run/build/mercury-srcdist-rotd-2023-02-21/stage2/scripts/mmc --make-interface --grade hlc.par.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS \ coerce_mode_error.m > coerce_mode_error.int_err 2>&1; if /mnt/testing/run/build/mercury-srcdist-rotd-2023-02-21/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS \ coerce_mode_error.m > coerce_mode_error.err 2>&1; \ then false; \ else true; \ fi Comparing coerce_mode_error.err with coerce_mode_error.err_exp*, results in coerce_mode_error.err_res ** coerce_mode_error.err did not match the expected error output ** (closest match was coerce_mode_error.err_res1) --- coerce_mode_error.err_exp 2021-07-27 22:40:34.000000000 +1000 +++ coerce_mode_error.err 2023-02-22 17:06:41.243612177 +1100 @@ -1,43 +1 @@ -coerce_mode_error.m:035: In clause for `bad_coerce_free_input(in(free), out)': -coerce_mode_error.m:035: in coerce expression: -coerce_mode_error.m:035: mode error: the argument term has instantiatedness -coerce_mode_error.m:035: `free', but it must have a ground inst. -coerce_mode_error.m:045: In clause for `bad_fruit_to_citrus(in, out)': -coerce_mode_error.m:045: in coerce expression: -coerce_mode_error.m:045: mode error: cannot convert the argument term from -coerce_mode_error.m:045: type `coerce_mode_error.fruit' to -coerce_mode_error.m:045: `coerce_mode_error.citrus' because it has -coerce_mode_error.m:045: instantiatedness `ground', and -coerce_mode_error.m:045: `coerce_mode_error.fruit' is not a subtype of -coerce_mode_error.m:045: `coerce_mode_error.citrus'. -coerce_mode_error.m:051: In clause for `bad_nelist_f_to_list_c(in, out)': -coerce_mode_error.m:051: in coerce expression: -coerce_mode_error.m:051: mode error: cannot convert the argument term from -coerce_mode_error.m:051: type -coerce_mode_error.m:051: `coerce_mode_error.non_empty_list(coerce_mode_error.fruit)' -coerce_mode_error.m:051: to -coerce_mode_error.m:051: `coerce_mode_error.list(coerce_mode_error.citrus)' -coerce_mode_error.m:051: because it has instantiatedness `ground', and -coerce_mode_error.m:051: `coerce_mode_error.non_empty_list(coerce_mode_error.fruit)' -coerce_mode_error.m:051: is not a subtype of -coerce_mode_error.m:051: `coerce_mode_error.list(coerce_mode_error.citrus)'. -coerce_mode_error.m:063: In clause for `bad_from_list_to_least2(in, out)': -coerce_mode_error.m:063: in coerce expression: -coerce_mode_error.m:063: mode error: in the argument term: -coerce_mode_error.m:063: in the second argument of function symbol `'[|]'': -coerce_mode_error.m:063: cannot convert the subterm from type -coerce_mode_error.m:063: `coerce_mode_error.list(V_1)' to -coerce_mode_error.m:063: `coerce_mode_error.non_empty_list(V_1)' because it -coerce_mode_error.m:063: has instantiatedness `ground', and -coerce_mode_error.m:063: `coerce_mode_error.list(V_1)' is not a subtype of -coerce_mode_error.m:063: `coerce_mode_error.non_empty_list(V_1)'. -coerce_mode_error.m:072: In clause for `from_list_to_least2(in, out)': -coerce_mode_error.m:072: in coerce expression: -coerce_mode_error.m:072: mode error: in the argument term: -coerce_mode_error.m:072: in the second argument of function symbol `'[|]'': -coerce_mode_error.m:072: cannot convert the subterm from type -coerce_mode_error.m:072: `coerce_mode_error.list(V_1)' to -coerce_mode_error.m:072: `coerce_mode_error.non_empty_list(V_1)' because it -coerce_mode_error.m:072: has instantiatedness `ground', and -coerce_mode_error.m:072: `coerce_mode_error.list(V_1)' is not a subtype of -coerce_mode_error.m:072: `coerce_mode_error.non_empty_list(V_1)'. +Segmentation fault make[3]: *** [../Mmake.common:172: coerce_mode_error.err_res] Error 1 make[3]: Target 'coerce_mode_error.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-02-21/tests/invalid'