MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-01-05/tests/invalid'
/mnt/testing/run/build/mercury-srcdist-rotd-2024-01-05/stage2/scripts/mmc --make-interface --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS     \
	subtype_circular.m > subtype_circular.int_err 2>&1;
if /mnt/testing/run/build/mercury-srcdist-rotd-2024-01-05/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS     \
	subtype_circular.m > subtype_circular.err 2>&1; \
then false; \
else true; \
fi
Comparing subtype_circular.err with subtype_circular.err_exp*,
	results in subtype_circular.err_res
** subtype_circular.err did not match the expected error output
** (closest match was subtype_circular.err_res1)
--- subtype_circular.err_exp	2021-07-01 19:42:11.000000000 +1000
+++ subtype_circular.err	2024-01-06 12:29:04.165683574 +1100
@@ -1,14 +1 @@
-subtype_circular.m:008: Error: circularity in subtype definition chain.
-subtype_circular.m:008:   The chain is:
-subtype_circular.m:008:   `loop'/0,
-subtype_circular.m:008:   the declared super type of `loop'/0.
-subtype_circular.m:011: Error: circularity in subtype definition chain.
-subtype_circular.m:011:   The chain is:
-subtype_circular.m:011:   `loop1'/0,
-subtype_circular.m:011:   the declared super type of `loop2'/0,
-subtype_circular.m:011:   which is the declared super type of `loop1'/0.
-subtype_circular.m:014: Error: circularity in subtype definition chain.
-subtype_circular.m:014:   The chain is:
-subtype_circular.m:014:   `loop2'/0,
-subtype_circular.m:014:   the declared super type of `loop1'/0,
-subtype_circular.m:014:   which is the declared super type of `loop2'/0.
+Segmentation fault
make[3]: *** [../Mmake.common:172: subtype_circular.err_res] Error 1
make[3]: Target 'subtype_circular.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-01-05/tests/invalid'