MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-09-21/tests/invalid'
/mnt/testing/run/build/mercury-srcdist-rotd-2023-09-21/stage2/scripts/mmc --make-interface --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS     \
	bad_type_for_inst.m > bad_type_for_inst.int_err 2>&1;
if /mnt/testing/run/build/mercury-srcdist-rotd-2023-09-21/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS     \
	bad_type_for_inst.m > bad_type_for_inst.err 2>&1; \
then false; \
else true; \
fi
Comparing bad_type_for_inst.err with bad_type_for_inst.err_exp*,
	results in bad_type_for_inst.err_res
** bad_type_for_inst.err did not match the expected error output
** (closest match was bad_type_for_inst.err_res1)
--- bad_type_for_inst.err_exp	2021-12-31 21:11:47.000000000 +1100
+++ bad_type_for_inst.err	2023-09-22 14:48:55.940755946 +1000
@@ -1,39 +1 @@
-bad_type_for_inst.m:025: In the second argument of predicate `p1'/2:
-bad_type_for_inst.m:025:   error: the user defined inst
-bad_type_for_inst.m:025:     `bad_type_for_inst.i1_a'/2
-bad_type_for_inst.m:025:   is declared to be applicable only to values of type
-bad_type_for_inst.m:025:     `bad_type_for_inst.t1'/2,
-bad_type_for_inst.m:025:   but here it is applied to values of type
-bad_type_for_inst.m:025:     `int'/0.
-bad_type_for_inst.m:028: In the first argument of predicate `p2'/2:
-bad_type_for_inst.m:028:   in the expansion of the user-defined inst
-bad_type_for_inst.m:028:   `bad_type_for_inst.i1_a'/2:
-bad_type_for_inst.m:028:   in the second argument of `f1'/3:
-bad_type_for_inst.m:028:   error: the user defined inst
-bad_type_for_inst.m:028:     `bad_type_for_inst.i1_a'/2
-bad_type_for_inst.m:028:   is declared to be applicable only to values of type
-bad_type_for_inst.m:028:     `bad_type_for_inst.t1'/2,
-bad_type_for_inst.m:028:   but here it is applied to values of type
-bad_type_for_inst.m:028:     `bad_type_for_inst.t2'/2.
-bad_type_for_inst.m:031: In the first argument of predicate `p3'/2:
-bad_type_for_inst.m:031:   error: the user defined inst
-bad_type_for_inst.m:031:     `bad_type_for_inst.i1_b'/1
-bad_type_for_inst.m:031:   is declared to be applicable only to values of type
-bad_type_for_inst.m:031:     `bad_type_for_inst.t1'/2,
-bad_type_for_inst.m:031:   but here it is applied to values of type
-bad_type_for_inst.m:031:     `bad_type_for_inst.t2'/2.
-bad_type_for_inst.m:034: In the result argument of function `f1'/2:
-bad_type_for_inst.m:034:   error: the user defined inst
-bad_type_for_inst.m:034:     `bad_type_for_inst.i1_b'/1
-bad_type_for_inst.m:034:   is declared to be applicable only to values of type
-bad_type_for_inst.m:034:     `bad_type_for_inst.t1'/2,
-bad_type_for_inst.m:034:   but here it is applied to values of type
-bad_type_for_inst.m:034:     `bad_type_for_inst.t2'/2.
-bad_type_for_inst.m:044: In the first argument of the lambda expression:
-bad_type_for_inst.m:044:   in the second argument of tuple:
-bad_type_for_inst.m:044:   error: the user defined inst
-bad_type_for_inst.m:044:     `bad_type_for_inst.i1_b'/1
-bad_type_for_inst.m:044:   is declared to be applicable only to values of type
-bad_type_for_inst.m:044:     `bad_type_for_inst.t1'/2,
-bad_type_for_inst.m:044:   but here it is applied to values of type
-bad_type_for_inst.m:044:     `bad_type_for_inst.t2'/2.
+Segmentation fault (core dumped)
make[3]: *** [../Mmake.common:172: bad_type_for_inst.err_res] Error 1
make[3]: Target 'bad_type_for_inst.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-09-21/tests/invalid'