MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-02/tests/invalid'
../Mmake.common:335: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.hH6hwu:1313: warning: undefined variable 'TRAILED_PROGS'
/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-02/stage2/scripts/mmc --make-interface --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics     \
	subtype_exist_vars.m > subtype_exist_vars.int_err 2>&1;
if /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-02/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics     \
	subtype_exist_vars.m > subtype_exist_vars.err 2>&1; \
then false; \
else true; \
fi
Comparing subtype_exist_vars.err with subtype_exist_vars.err_exp*,
	results in subtype_exist_vars.err_res
** subtype_exist_vars.err did not match the expected error output
** (closest match was subtype_exist_vars.err_res1)
--- subtype_exist_vars.err_exp	2024-07-23 21:16:52.000000000 +1000
+++ subtype_exist_vars.err	2024-08-03 22:14:09.811243795 +1000
@@ -1,22 +1 @@
-subtype_exist_vars.m:021: Error: `orange'/1 has wrong number of existentially
-subtype_exist_vars.m:021:   quantified type variables (expected 1, got 0).
-subtype_exist_vars.m:024: Error: `apple'/1 has wrong number of existentially
-subtype_exist_vars.m:024:   quantified type variables (expected 0, got 1).
-subtype_exist_vars.m:030: Error: the second argument of `lemon' has a type,
-subtype_exist_vars.m:030:   `B', which is not a subtype of the corresponding
-subtype_exist_vars.m:030:   argument type `T' in the supertype.
-subtype_exist_vars.m:033: Error: the first argument of `lemon' has a type, `B',
-subtype_exist_vars.m:033:   which is not a subtype of the corresponding
-subtype_exist_vars.m:033:   argument type `T' in the supertype.
-subtype_exist_vars.m:033: Error: the third argument of `lemon' has a type,
-subtype_exist_vars.m:033:   `subtype_exist_vars.foo(A)', which is not a subtype
-subtype_exist_vars.m:033:   of the corresponding argument type
-subtype_exist_vars.m:033:   `subtype_exist_vars.foo(U)' in the supertype.
-subtype_exist_vars.m:036: Error: `pear'/2 has wrong number of existentially
-subtype_exist_vars.m:036:   quantified type variables (expected 2, got 1).
-subtype_exist_vars.m:039: Error: the first argument of `pear' has a type, `B',
-subtype_exist_vars.m:039:   which is not a subtype of the corresponding
-subtype_exist_vars.m:039:   argument type `T' in the supertype.
-subtype_exist_vars.m:039: Error: the second argument of `pear' has a type, `A',
-subtype_exist_vars.m:039:   which is not a subtype of the corresponding
-subtype_exist_vars.m:039:   argument type `U' in the supertype.
+Segmentation fault
make[3]: *** [../Mmake.common:172: subtype_exist_vars.err_res] Error 1
make[3]: Target 'subtype_exist_vars.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-02/tests/invalid'