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'