MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-06-09/tests/invalid' /mnt/testing/run/build/mercury-srcdist-rotd-2023-06-09/stage2/scripts/mmc --make-interface --grade hlc.par.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS \ bad_instance2.m > bad_instance2.int_err 2>&1; if /mnt/testing/run/build/mercury-srcdist-rotd-2023-06-09/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS \ bad_instance2.m > bad_instance2.err 2>&1; \ then false; \ else true; \ fi Comparing bad_instance2.err with bad_instance2.err_exp*, results in bad_instance2.err_res ** bad_instance2.err did not match the expected error output ** (closest match was bad_instance2.err_res1) --- bad_instance2.err_exp 2023-05-10 21:34:35.000000000 +1000 +++ bad_instance2.err 2023-06-10 15:01:12.154221091 +1000 @@ -1,9 +1 @@ -bad_instance2.m:012: In instance declaration for `foo(bar(T), U)': -bad_instance2.m:012: the second instance type `U' is a type variable; it -bad_instance2.m:012: should be a type constructor applied to zero or more -bad_instance2.m:012: type variables. -bad_instance2.m:016: In instance declaration for `foo(bar(T), T)': -bad_instance2.m:016: the second instance type `T' is a type variable; it -bad_instance2.m:016: should be a type constructor applied to zero or more -bad_instance2.m:016: type variables. -For more information, recompile with `-E'. +Segmentation fault (core dumped) make[3]: *** [../Mmake.common:172: bad_instance2.err_res] Error 1 make[3]: Target 'bad_instance2.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-06-09/tests/invalid'