MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/tests/invalid' /mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/stage2/scripts/mmc --generate-dependencies --grade asm_fast.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt bad_type_class_constraint_intermodule > bad_type_class_constraint_intermodule.dep_err 2>&1 make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/tests/invalid' make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/tests/invalid' /mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/stage2/scripts/mmc --make-interface --grade asm_fast.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt bad_type_class_constraint_intermodule_2 /mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/stage2/scripts/mmc --make-short-interface --grade asm_fast.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt bad_type_class_constraint_intermodule_2 /mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/stage2/scripts/mmc --make-interface --grade asm_fast.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt bad_type_class_constraint_intermodule /mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/stage2/scripts/mmc --make-optimization-interface --grade asm_fast.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt bad_type_class_constraint_intermodule_2 bad_type_class_constraint_intermodule_2.m:016: In declaration of predicate bad_type_class_constraint_intermodule_2.m:016: `bad_pred'/4: bad_type_class_constraint_intermodule_2.m:016: error: undefined typeclass bad_type_class_constraint_intermodule_2.m:016: `output'/1. bad_type_class_constraint_intermodule_2.m:016: (There is a typeclass named bad_type_class_constraint_intermodule_2.m:016: `output' with arity 2.) bad_type_class_constraint_intermodule_2.m:019: In function symbol `f' for type bad_type_class_constraint_intermodule_2.m:019: constructor `bad_type_ctor'/0: bad_type_class_constraint_intermodule_2.m:019: error: undefined typeclass bad_type_class_constraint_intermodule_2.m:019: `output'/1. bad_type_class_constraint_intermodule_2.m:019: (There is a typeclass named bad_type_class_constraint_intermodule_2.m:019: `output' with arity 2.) /tmp/mmake.zxHln7:2785: recipe for target 'bad_type_class_constraint_intermodule_2.optdate' failed make[3]: *** [bad_type_class_constraint_intermodule_2.optdate] Error 1 /mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/stage2/scripts/mmc --make-optimization-interface --grade asm_fast.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt bad_type_class_constraint_intermodule bad_type_class_constraint_intermodule_2.int:004: In declaration for type bad_type_class_constraint_intermodule_2.int:004: `bad_type_class_constraint_intermodule_2.bad_type_ctor'/0: bad_type_class_constraint_intermodule_2.int:004: error: the type class bad_type_class_constraint_intermodule_2.int:004: `output'/1 does not exist. bad_type_class_constraint_intermodule_2.int:011: In declaration for predicate bad_type_class_constraint_intermodule_2.int:011: `bad_pred'/4: bad_type_class_constraint_intermodule_2.int:011: error: the type class bad_type_class_constraint_intermodule_2.int:011: `output'/1 does not exist. /tmp/mmake.zxHln7:2785: recipe for target 'bad_type_class_constraint_intermodule.optdate' failed make[3]: *** [bad_type_class_constraint_intermodule.optdate] Error 1 make[3]: Target 'bad_type_class_constraint_intermodule.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/tests/invalid'