MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/tests/hard_coded'
/mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/stage2/scripts/mmc --generate-dependencies --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS     foreign_type2 > foreign_type2.dep_err 2>&1
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/tests/hard_coded'
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/tests/hard_coded'
/mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/stage2/scripts/mmc --make-interface --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS     foreign_type2
/mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/stage2/scripts/mmc --compile-to-c --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS     foreign_type2 > foreign_type2.err 2>&1
/mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/stage2/scripts/mgnuc --grade hlc.par.gc       --      -c foreign_type2.c -o foreign_type2.o
/mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/stage2/scripts/mgnuc --grade hlc.par.gc       --      -c foreign_type2_init.c -o foreign_type2_init.o
/mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/stage2/scripts/ml --grade hlc.par.gc     --no-mercury-stdlib-dir  --trace-init-file /mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/stage2/browser/mer_browser.init --trace-init-file /mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/stage2/mdbcomp/mer_mdbcomp.init --ssdb-init-file /mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/stage2/ssdb/mer_ssdb.init        --    -o foreign_type2 foreign_type2_init.o \
	foreign_type2.o \
	 /mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/stage2/trace/libmer_trace.a /mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/stage2/trace/libmer_eventspec.a /mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/stage2/ssdb/libmer_ssdb.a /mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/stage2/browser/libmer_browser.a /mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/stage2/mdbcomp/libmer_mdbcomp.a /mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/stage2/library/libmer_std.a /mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/stage2/runtime/libmer_rt.a /mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/stage2/boehm_gc/libpar_gc.a      
{ [ -f foreign_type2.inp ] && cat foreign_type2.inp; } | ./foreign_type2 > foreign_type2.out 2>&1 || \
	{ grep . foreign_type2.out /dev/null; exit 1; }
Segmentation fault
make[3]: *** [../Mmake.common:121: foreign_type2.out] Error 1
make[3]: Target 'foreign_type2.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-06-11/tests/hard_coded'
ERROR OUTPUT
foreign_type2.m:023: Warning: this declaration of `coord'/1 is redundant, since
foreign_type2.m:023:   the type has a definition in the implementation section.
END OF THE ERROR OUTPUT