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'