MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-07-18/tests/invalid'
/mnt/testing/run/build/mercury-srcdist-rotd-2023-07-18/stage2/scripts/mmc --make-interface --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS     \
	type_inf_loop.m > type_inf_loop.int_err 2>&1;
if /mnt/testing/run/build/mercury-srcdist-rotd-2023-07-18/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS     \
	type_inf_loop.m > type_inf_loop.err 2>&1; \
then false; \
else true; \
fi
Comparing type_inf_loop.err with type_inf_loop.err_exp*,
	results in type_inf_loop.err_res
** type_inf_loop.err did not match the expected error output
** (closest match was type_inf_loop.err_res2)
--- type_inf_loop.err_exp2	2020-10-11 14:28:49.000000000 +1100
+++ type_inf_loop.err	2023-07-19 15:30:20.491347626 +1000
@@ -1,10 +1 @@
-type_inf_loop.m:001: Warning: interface for module `type_inf_loop' does not
-type_inf_loop.m:001:   export anything.
-type_inf_loop.m:004: Error: clause for predicate `type_inf_loop.loop/1'
-type_inf_loop.m:004:   without preceding `pred' declaration.
-Type inference iteration limit exceeded.
-This probably indicates that your program has a type error.
-You should declare the types explicitly.
-(The current limit is 60 iterations.  You can use the
-`--type-inference-iteration-limit' option to increase the limit).
-type_inf_loop.m:004: Inferred :- pred loop((pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred (pred T1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))).
+Segmentation fault
make[3]: *** [../Mmake.common:172: type_inf_loop.err_res] Error 1
make[3]: Target 'type_inf_loop.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-07-18/tests/invalid'