MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-03-19/tests/invalid_nodepend' if /mnt/testing/run/build/mercury-srcdist-rotd-2023-03-19/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS where_direct_arg \ > where_direct_arg.err 2>&1; \ then false; \ else true; \ fi Comparing where_direct_arg.err with where_direct_arg.err_exp*, results in where_direct_arg.err_res ** where_direct_arg.err did not match the expected error output ** (closest match was where_direct_arg.err_res1) --- where_direct_arg.err_exp 2021-07-28 22:23:57.000000000 +1000 +++ where_direct_arg.err 2023-03-20 14:30:54.313214930 +1100 @@ -1,9 +1 @@ -where_direct_arg.m:014: Error: the `direct_arg' attribute contains a function -where_direct_arg.m:014: symbol whose arity is not 1. -where_direct_arg.m:014: Error: the `direct_arg' attribute lists the function -where_direct_arg.m:014: symbol `nonexistent'/1 which is not in the type -where_direct_arg.m:014: definition. -where_direct_arg.m:018: Error: invalid `where ...' attribute for abstract -where_direct_arg.m:018: non-solver type. -where_direct_arg.m:020: Error: solver type definitions cannot have `direct_arg' -where_direct_arg.m:020: attributes. +Segmentation fault make[3]: *** [../Mmake.common:172: where_direct_arg.err_res] Error 1 make[3]: Target 'where_direct_arg.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-03-19/tests/invalid_nodepend'