MERCURY_OPTIONS= --deep-random-write=25 --deep-std-name --mdb-disable-progress
gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-09-12/tests/invalid'
{ echo MCFLAGS += '--grade csharp    --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-09-12/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics --use-subdirs    '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-09-12/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-09-12/stage2/runtime/mer_rt.init    '; echo MLLIBS += '   '; echo MLOBJS += '  '; echo LDFLAGS += '  '; echo LD_LIBFLAGS += '  '; echo EXTRA_LIBRARIES += ''; echo EXTRA_LIB_DIRS += ''; echo LIBGRADES = 'hlc.gc  '; echo INSTALL_PREFIX = '/home/mercury/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-09-12/stage2/scripts/mmc --make --options-file - try_detism.err
Making Mercury/int3s/try_detism.int3
Making Mercury/ints/try_detism.int
Making try_detism.err
try_detism.m:016: Error: the determinism declaration for predicate `p'/3 is not
try_detism.m:016:   satisfied.
try_detism.m:016:   Declared `cc_multi', inferred `cc_nondet'.
try_detism.m:016:   The reason for the difference is the following.
try_detism.m:023: 
try_detism.m:023:   In argument 1 of call to predicate `try_detism.q'/3:
try_detism.m:023:   unification with `X' can fail.
try_detism.m:022: Error: call to predicate `exception.magic_exception_result'/1
try_detism.m:022:   with determinism `cc_multi' occurs in a context which
try_detism.m:022:   requires all solutions.
try_detism.m:023:   Unification of `X' and `V_19' can fail.
try_detism.m:022: In clause for `p(out, di, uo)':
try_detism.m:022:   in call to predicate `exception.try_io'/4:
try_detism.m:022:   mode error: the insts of arguments `TryLambda', 
try_detism.m:022:   `TryResult', `STATE_VARIABLE_IO_1' and `TryIOOutput' do not
try_detism.m:022:   match either of the two modes of predicate
try_detism.m:022:   `exception.try_io'/4.
try_detism.m:022: 
try_detism.m:022:     The inst of the first argument, `TryLambda', which is
try_detism.m:022:       /* unique */ (pred(out, di, uo) is semidet),
try_detism.m:022:     does not match any of the required insts.
try_detism.m:022:     (For higher order insts like this, the mismatch is
try_detism.m:022:     sometimes caused by the arity of the predicate or
try_detism.m:022:     function being different in the inst than in the type.)
For more information, recompile with `-E'.
** Error making `try_detism.err'.
gmake[3]: [/tmp/mmake.X10Fxq:1301: try_detism.err] Error 1 (ignored)
if { echo MCFLAGS += '--grade csharp    --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-09-12/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics --use-subdirs    '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-09-12/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-09-12/stage2/runtime/mer_rt.init    '; echo MLLIBS += '   '; echo MLOBJS += '  '; echo LDFLAGS += '  '; echo LD_LIBFLAGS += '  '; echo EXTRA_LIBRARIES += ''; echo EXTRA_LIB_DIRS += ''; echo LIBGRADES = 'hlc.gc  '; echo INSTALL_PREFIX = '/home/mercury/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-09-12/stage2/scripts/mmc --make --options-file - -r try_detism.err > /dev/null 2>&1 ; \
then false; \
else true; \
fi
Comparing try_detism.err with try_detism.err_exp*,
	results in try_detism.err_res
** try_detism.err did not match the expected error output
** (closest match was try_detism.err_res1)
--- try_detism.err_exp	2025-05-18 21:42:58.000000000 +1000
+++ try_detism.err	2025-09-13 06:53:49.872804098 +1000
@@ -8,7 +8,7 @@
 try_detism.m:022: Error: call to predicate `exception.magic_exception_result'/1
 try_detism.m:022:   with determinism `cc_multi' occurs in a context which
 try_detism.m:022:   requires all solutions.
-try_detism.m:023:   Unification of `X' and `V_17' can fail.
+try_detism.m:023:   Unification of `X' and `V_19' can fail.
 try_detism.m:022: In clause for `p(out, di, uo)':
 try_detism.m:022:   in call to predicate `exception.try_io'/4:
 try_detism.m:022:   mode error: the insts of arguments `TryLambda', 
gmake[3]: *** [../Mmake.common:166: try_detism.err_res] Error 1
gmake[3]: Target 'try_detism.runtest' not remade because of errors.
gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-09-12/tests/invalid'