MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/tests/typeclasses'
/mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/stage2/scripts/mmc --generate-dependencies --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS  --no-user-guided-type-specialisation   unbound_tvar > unbound_tvar.dep_err 2>&1
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/tests/typeclasses'
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/tests/typeclasses'
/mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/stage2/scripts/mmc --make-interface --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS  --no-user-guided-type-specialisation   unbound_tvar
/mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/stage2/scripts/mmc --compile-to-c --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS  --no-user-guided-type-specialisation   unbound_tvar > unbound_tvar.err 2>&1
/mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/stage2/scripts/mgnuc --grade hlc.par.gc       --      -c unbound_tvar.c -o unbound_tvar.o
/mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/stage2/scripts/mgnuc --grade hlc.par.gc       --      -c unbound_tvar_init.c -o unbound_tvar_init.o
/mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/stage2/scripts/ml --grade hlc.par.gc     --no-mercury-stdlib-dir  --trace-init-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/stage2/browser/mer_browser.init --trace-init-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/stage2/mdbcomp/mer_mdbcomp.init --ssdb-init-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/stage2/ssdb/mer_ssdb.init        --    -o unbound_tvar unbound_tvar_init.o \
	unbound_tvar.o \
	 /mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/stage2/trace/libmer_trace.a /mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/stage2/trace/libmer_eventspec.a /mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/stage2/ssdb/libmer_ssdb.a /mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/stage2/browser/libmer_browser.a /mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/stage2/mdbcomp/libmer_mdbcomp.a /mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/stage2/library/libmer_std.a /mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/stage2/runtime/libmer_rt.a /mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/stage2/boehm_gc/libpar_gc.a      
{ [ -f unbound_tvar.inp ] && cat unbound_tvar.inp; } | ./unbound_tvar > unbound_tvar.out 2>&1 || \
	{ grep . unbound_tvar.out /dev/null; exit 1; }
Segmentation fault
make[3]: *** [../Mmake.common:121: unbound_tvar.out] Error 1
make[3]: Target 'unbound_tvar.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-03-02/tests/typeclasses'
ERROR OUTPUT
unbound_tvar.m:011: In predicate `main'/2:
unbound_tvar.m:011:   warning: unresolved polymorphism.
unbound_tvar.m:011:   The variable with an unbound type was:
unbound_tvar.m:011:     V_6: unbound_tvar.t(int, B)
unbound_tvar.m:011:   The unbound type variable will be implicitly bound to the
unbound_tvar.m:011:   builtin type `void'.
For more information, recompile with `-E'.
END OF THE ERROR OUTPUT