MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-08-18/tests/invalid_nodepend'
if /mnt/testing/run/build/mercury-srcdist-rotd-2023-08-18/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS  --verbose-error-messages   fundeps_unbound_in_ctor \
	> fundeps_unbound_in_ctor.err 2>&1; \
then false; \
else true; \
fi
Comparing fundeps_unbound_in_ctor.err with fundeps_unbound_in_ctor.err_exp*,
	results in fundeps_unbound_in_ctor.err_res
** fundeps_unbound_in_ctor.err did not match the expected error output
** (closest match was fundeps_unbound_in_ctor.err_res1)
--- fundeps_unbound_in_ctor.err_exp	2021-07-28 22:23:57.000000000 +1000
+++ fundeps_unbound_in_ctor.err	2023-08-19 16:31:38.124046320 +1000
@@ -1,28 +1 @@
-fundeps_unbound_in_ctor.m:012: In declaration for type
-fundeps_unbound_in_ctor.m:012:   `fundeps_unbound_in_ctor.bar'/0:
-fundeps_unbound_in_ctor.m:012:   error in type class constraints: type variable
-fundeps_unbound_in_ctor.m:012:   `C' occurs in the constraints, but is not
-fundeps_unbound_in_ctor.m:012:   determined by the constructor's argument
-fundeps_unbound_in_ctor.m:012:   types.
-fundeps_unbound_in_ctor.m:012:   All types occurring in typeclass constraints
-fundeps_unbound_in_ctor.m:012:   must be fully determined. A type is fully
-fundeps_unbound_in_ctor.m:012:   determined if one of the following holds:
-fundeps_unbound_in_ctor.m:012:   1) All type variables occurring in the type
-fundeps_unbound_in_ctor.m:012:   are determined.
-fundeps_unbound_in_ctor.m:012:   2) The type occurs in a constraint argument,
-fundeps_unbound_in_ctor.m:012:   that argument is in the range of some
-fundeps_unbound_in_ctor.m:012:   functional dependency for that class, and the
-fundeps_unbound_in_ctor.m:012:   types in all of the domain arguments for that
-fundeps_unbound_in_ctor.m:012:   functional dependency are fully determined.
-fundeps_unbound_in_ctor.m:012:   A type variable is determined if one of the
-fundeps_unbound_in_ctor.m:012:   following holds:
-fundeps_unbound_in_ctor.m:012:   1) The type variable occurs in the argument
-fundeps_unbound_in_ctor.m:012:   types of the predicate, function, or
-fundeps_unbound_in_ctor.m:012:   constructor which is constrained.
-fundeps_unbound_in_ctor.m:012:   2) The type variable occurs in a type which is
-fundeps_unbound_in_ctor.m:012:   fully determined.
-fundeps_unbound_in_ctor.m:012:   See the "Functional dependencies" section of
-fundeps_unbound_in_ctor.m:012:   the reference manual for details.
-fundeps_unbound_in_ctor.m:018: Error: the type variable `C' occurs in a class
-fundeps_unbound_in_ctor.m:018:   constraint without being explicitly
-fundeps_unbound_in_ctor.m:018:   existentially quantified using `some'.
+Segmentation fault
make[3]: *** [../Mmake.common:172: fundeps_unbound_in_ctor.err_res] Error 1
make[3]: Target 'fundeps_unbound_in_ctor.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-08-18/tests/invalid_nodepend'