MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-06-04/tests/invalid'
../Mmake.common:335: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.Nw2fPz:1305: warning: undefined variable 'TRAILED_PROGS'
/mnt/testing/run/build/mercury-srcdist-rotd-2024-06-04/stage2/scripts/mmc --make-interface --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --enable-color-diagnostics     \
	subtype_exist_constraints.m > subtype_exist_constraints.int_err 2>&1;
if /mnt/testing/run/build/mercury-srcdist-rotd-2024-06-04/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --enable-color-diagnostics     \
	subtype_exist_constraints.m > subtype_exist_constraints.err 2>&1; \
then false; \
else true; \
fi
Comparing subtype_exist_constraints.err with subtype_exist_constraints.err_exp*,
	results in subtype_exist_constraints.err_res
** subtype_exist_constraints.err did not match the expected error output
** (closest match was subtype_exist_constraints.err_res1)
--- subtype_exist_constraints.err_exp	2024-05-11 21:07:43.000000000 +1000
+++ subtype_exist_constraints.err	2024-06-05 14:26:28.255822677 +1000
@@ -1,10 +1 @@
-subtype_exist_constraints.m:020: Error: the first argument of `lemon' has a
-subtype_exist_constraints.m:020:   type, `L', which is not a subtype of the
-subtype_exist_constraints.m:020:   corresponding argument type `L' in the
-subtype_exist_constraints.m:020:   supertype.
-subtype_exist_constraints.m:023: Error: existential class constraints for
-subtype_exist_constraints.m:023:   `lemon'/1 differ in the subtype and
-subtype_exist_constraints.m:023:   supertype.
-subtype_exist_constraints.m:026: Error: existential class constraints for
-subtype_exist_constraints.m:026:   `lemon'/1 differ in the subtype and
-subtype_exist_constraints.m:026:   supertype.
+Segmentation fault (core dumped)
make[3]: *** [../Mmake.common:172: subtype_exist_constraints.err_res] Error 1
make[3]: Target 'subtype_exist_constraints.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-06-04/tests/invalid'