MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2019-06-06/tests/invalid' if /mnt/testing/run/build/mercury-srcdist-rotd-2019-06-06/stage2/scripts/mmc --errorcheck-only --grade hlc.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt --verbose-error-messages unsatisfiable_constraint \ > unsatisfiable_constraint.err 2>&1; \ then false; else true; fi Comparing unsatisfiable_constraint.err with unsatisfiable_constraint.err_exp*, results in unsatisfiable_constraint.err_res ** unsatisfiable_constraint.err did not match the expected error output ** (closest match was unsatisfiable_constraint.err_res1) --- unsatisfiable_constraint.err_exp 2019-05-29 16:01:35.000000000 +1000 +++ unsatisfiable_constraint.err 2019-06-07 17:10:08.699892862 +1000 @@ -1,7 +1,7 @@ unsatisfiable_constraint.m:039: In predicate `test'/1: unsatisfiable_constraint.m:039: type error: unsatisfied typeclass constraints: -unsatisfiable_constraint.m:039: `unsatisfiable_constraint.a(A, B, A, V_8)', -unsatisfiable_constraint.m:039: `unsatisfiable_constraint.a(A, B, C, V_14)', +unsatisfiable_constraint.m:039: `unsatisfiable_constraint.a(A, B, A, V_10)', +unsatisfiable_constraint.m:039: `unsatisfiable_constraint.a(A, B, C, V_16)', unsatisfiable_constraint.m:039: `unsatisfiable_constraint.b(A, C)' unsatisfiable_constraint.m:039: The constraints are due to: unsatisfiable_constraint.m:043: a goal here, ../Mmake.common:147: recipe for target 'unsatisfiable_constraint.err_res' failed make[3]: *** [unsatisfiable_constraint.err_res] Error 1 make[3]: Target 'unsatisfiable_constraint.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2019-06-06/tests/invalid'