MERCURY_OPTIONS= --deep-random-write=25 --deep-std-name --mdb-disable-progress
gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-07-14/tests/invalid'
/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-07-14/stage2/scripts/mmc --generate-dependencies --grade hlc.gc    --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics -O5 --intermod-opt    coerce_typecheck_eqv > coerce_typecheck_eqv.dep_err 2>&1
gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-07-14/tests/invalid'
gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-07-14/tests/invalid'
/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-07-14/stage2/scripts/mmc --make-interface --grade hlc.gc    --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics -O5 --intermod-opt    coerce_typecheck_eqv_helper_1
/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-07-14/stage2/scripts/mmc --make-short-interface --grade hlc.gc    --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics -O5 --intermod-opt    coerce_typecheck_eqv_helper_1
/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-07-14/stage2/scripts/mmc --make-interface --grade hlc.gc    --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics -O5 --intermod-opt    coerce_typecheck_eqv
/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-07-14/stage2/scripts/mmc --make-optimization-interface --grade hlc.gc    --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics -O5 --intermod-opt    coerce_typecheck_eqv_helper_1
coerce_typecheck_eqv_helper_1.m:016: Error: the type `second'/2 is a
coerce_typecheck_eqv_helper_1.m:016:   polymorphic equivalence type with a
coerce_typecheck_eqv_helper_1.m:016:   monomorphic definition. The export of
coerce_typecheck_eqv_helper_1.m:016:   such types as abstract types is not yet
coerce_typecheck_eqv_helper_1.m:016:   implemented.
For more information, recompile with `-E'.
gmake[3]: *** [/tmp/mmake.9YTI2X:2391: coerce_typecheck_eqv_helper_1.optdate] Error 1
/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-07-14/stage2/scripts/mmc --make-optimization-interface --grade hlc.gc    --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics -O5 --intermod-opt    coerce_typecheck_eqv
coerce_typecheck_eqv.m:039: In clause for predicate `test2'/2:
coerce_typecheck_eqv.m:039:   error: cannot coerce `X' from
coerce_typecheck_eqv.m:039:   `coerce_typecheck_eqv.bad(coerce_typecheck_eqv.citrus)'
coerce_typecheck_eqv.m:039:   to
coerce_typecheck_eqv.m:039:   `coerce_typecheck_eqv.bad(coerce_typecheck_eqv.fruit)'.
gmake[3]: *** [/tmp/mmake.9YTI2X:2391: coerce_typecheck_eqv.optdate] Error 1
gmake[3]: Target 'coerce_typecheck_eqv.runtest' not remade because of errors.
gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-07-14/tests/invalid'