MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2019-06-20/tests/invalid'
/mnt/testing/run/build/mercury-srcdist-rotd-2019-06-20/stage2/scripts/mmc --generate-dependencies --grade hlc.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt    abstract_eqv > abstract_eqv.dep_err 2>&1
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2019-06-20/tests/invalid'
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2019-06-20/tests/invalid'
/mnt/testing/run/build/mercury-srcdist-rotd-2019-06-20/stage2/scripts/mmc --make-interface --grade hlc.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt    abstract_eqv2
/mnt/testing/run/build/mercury-srcdist-rotd-2019-06-20/stage2/scripts/mmc --make-optimization-interface --grade hlc.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt    abstract_eqv2
/mnt/testing/run/build/mercury-srcdist-rotd-2019-06-20/stage2/scripts/mmc --make-optimization-interface --grade hlc.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt    abstract_eqv
abstract_eqv.m:019: In clause for predicate `bad'/0:
abstract_eqv.m:019:   in argument 1 of call to predicate
abstract_eqv.m:019:   `abstract_eqv2.call_with_foo'/1:
abstract_eqv.m:019:   type error: argument has type `abstract_eqv2.bar',
abstract_eqv.m:019:   expected type was `abstract_eqv2.foo'.
For more information, recompile with `-E'.
/tmp/mmake.UpgVEc:2082: recipe for target 'abstract_eqv.optdate' failed
make[3]: *** [abstract_eqv.optdate] Error 1
make[3]: Target 'abstract_eqv.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2019-06-20/tests/invalid'