MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-12/tests/invalid'
../Mmake.common:335: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.FD5Z8n:1310: warning: undefined variable 'TRAILED_PROGS'
/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-12/stage2/scripts/mmc --make-interface --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics     \
	coerce_int.m > coerce_int.int_err 2>&1;
if /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-12/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics     \
	coerce_int.m > coerce_int.err 2>&1; \
then false; \
else true; \
fi
Comparing coerce_int.err with coerce_int.err_exp*,
	results in coerce_int.err_res
** coerce_int.err did not match the expected error output
** (closest match was coerce_int.err_res1)
--- coerce_int.err_exp	2024-07-03 21:05:16.000000000 +1000
+++ coerce_int.err	2024-07-13 13:18:47.432676180 +1000
@@ -1,43 +1 @@
-coerce_int.m:020: In clause for function `ok'/1:
-coerce_int.m:020:   warning: type conversion of `X' from `coerce_int.wrap(int)'
-coerce_int.m:020:   to the same type is redundant.
-coerce_int.m:026: In clause for `bad(in(coerce_int.wrap(bound(1 ; 2)))) =
-coerce_int.m:026:   out(coerce_int.wrap(bound(1 ; 3)))':
-coerce_int.m:026:   mode error: the function result had the wrong
-coerce_int.m:026:   instantiatedness.
-coerce_int.m:026:   Final instantiatedness of `HeadVar__2' was
-coerce_int.m:026:   `bound(wrap(bound(1 ; 2)))',
-coerce_int.m:026:   expected final instantiatedness was
-coerce_int.m:026:     named inst wrap(
-coerce_int.m:026:       bound(
-coerce_int.m:026:         1
-coerce_int.m:026:       ;
-coerce_int.m:026:         3
-coerce_int.m:026:       )
-coerce_int.m:026:     )
-coerce_int.m:026:     which expands to
-coerce_int.m:026:       bound(
-coerce_int.m:026:         wrap(
-coerce_int.m:026:           bound(
-coerce_int.m:026:             1
-coerce_int.m:026:           ;
-coerce_int.m:026:             3
-coerce_int.m:026:           )
-coerce_int.m:026:         )
-coerce_int.m:026:       ).
-coerce_int.m:026: In clause for function `bad'/1:
-coerce_int.m:026:   warning: type conversion of `X' from `coerce_int.wrap(int)'
-coerce_int.m:026:   to the same type is redundant.
-coerce_int.m:032: In clause for `bad_wrong_type(in(coerce_int.wrap(bound(1 ; 2
-coerce_int.m:032:   ; 42u)))) = out(coerce_int.wrap(bound(1 ; 2)))':
-coerce_int.m:032:   in coerce expression:
-coerce_int.m:032:   mode error: in the coerced term:
-coerce_int.m:032:   in the argument of function symbol `wrap'/1:
-coerce_int.m:032:   cannot convert the coerced subterm from type `uint' to
-coerce_int.m:032:   `uint' because the following function symbols in the input
-coerce_int.m:032:   term's instantiatedness are not part of the input type:
-coerce_int.m:032:     1,
-coerce_int.m:032:     2.
-coerce_int.m:032: In clause for function `bad_wrong_type'/1:
-coerce_int.m:032:   warning: type conversion of `X' from
-coerce_int.m:032:   `coerce_int.wrap(uint)' to the same type is redundant.
+Segmentation fault
make[3]: *** [../Mmake.common:172: coerce_int.err_res] Error 1
make[3]: Target 'coerce_int.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-12/tests/invalid'