MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-08-04/tests/purity' /mnt/testing/run/build/mercury-srcdist-rotd-2023-08-04/stage2/scripts/mmc --generate-dependencies --grade asm_fast.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt promise_pure_test > promise_pure_test.dep_err 2>&1 make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-08-04/tests/purity' make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-08-04/tests/purity' /mnt/testing/run/build/mercury-srcdist-rotd-2023-08-04/stage2/scripts/mmc --make-interface --grade asm_fast.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt promise_pure_test /mnt/testing/run/build/mercury-srcdist-rotd-2023-08-04/stage2/scripts/mmc --make-optimization-interface --grade asm_fast.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt promise_pure_test promise_pure_test.m:035: Error: foreign clause for predicate `get_x'/1 has promise_pure_test.m:035: purity impure but that predicate has been declared promise_pure_test.m:035: semipure. make[3]: *** [/tmp/mmake.6oMksP:1508: promise_pure_test.optdate] Error 1 make[3]: Target 'promise_pure_test.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-08-04/tests/purity'