MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-04/tests/invalid'
../Mmake.common:335: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.lDIHZD:1308: warning: undefined variable 'TRAILED_PROGS'
/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-04/stage2/scripts/mmc --make-interface --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics     \
	coerce_non_du.m > coerce_non_du.int_err 2>&1;
if /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-04/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics     \
	coerce_non_du.m > coerce_non_du.err 2>&1; \
then false; \
else true; \
fi
Comparing coerce_non_du.err with coerce_non_du.err_exp*,
	results in coerce_non_du.err_res
** coerce_non_du.err did not match the expected error output
** (closest match was coerce_non_du.err_res1)
--- coerce_non_du.err_exp	2024-07-03 21:05:16.000000000 +1000
+++ coerce_non_du.err	2024-07-05 13:17:56.557897562 +1000
@@ -1,27 +1 @@
-coerce_non_du.m:015: In clause for function `f1'/1:
-coerce_non_du.m:015:   error: cannot coerce `X' from `int' to `int'.
-coerce_non_du.m:015:   You can only coerce from one discriminated union type to
-coerce_non_du.m:015:   another, and `int' is a builtin type. Also, the type
-coerce_non_du.m:015:   conversion would be redundant anyway.
-coerce_non_du.m:019: In clause for function `f2'/1:
-coerce_non_du.m:019:   error: cannot coerce `X' from `float' to `float'.
-coerce_non_du.m:019:   You can only coerce from one discriminated union type to
-coerce_non_du.m:019:   another, and `float' is a builtin type. Also, the type
-coerce_non_du.m:019:   conversion would be redundant anyway.
-coerce_non_du.m:023: In clause for function `f3'/1:
-coerce_non_du.m:023:   error: cannot coerce `X' from `{}' to `{}'.
-coerce_non_du.m:023:   You can only coerce from one discriminated union type to
-coerce_non_du.m:023:   another, and `{}' is a tuple type. Also, the type
-coerce_non_du.m:023:   conversion would be redundant anyway.
-coerce_non_du.m:027: In clause for function `f4'/1:
-coerce_non_du.m:027:   error: cannot coerce `X' from `((func int) = int)' to
-coerce_non_du.m:027:   `((func int) = int)'.
-coerce_non_du.m:027:   You can only coerce from one discriminated union type to
-coerce_non_du.m:027:   another, and `((func int) = int)' is a function type.
-coerce_non_du.m:027:   Also, the type conversion would be redundant anyway.
-coerce_non_du.m:031: In clause for function `f5'/1:
-coerce_non_du.m:031:   error: cannot coerce `X' from `pred(int, int)' to
-coerce_non_du.m:031:   `pred(int, int)'.
-coerce_non_du.m:031:   You can only coerce from one discriminated union type to
-coerce_non_du.m:031:   another, and `pred(int, int)' is a predicate type. Also,
-coerce_non_du.m:031:   the type conversion would be redundant anyway.
+Segmentation fault (core dumped)
make[3]: *** [../Mmake.common:172: coerce_non_du.err_res] Error 1
make[3]: Target 'coerce_non_du.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-04/tests/invalid'