MERCURY_OPTIONS=
gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-28/tests/warnings'
{ echo MCFLAGS += '--grade java    --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-28/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --output-compile-error-lines 0 --color-diagnostics --infer-all --use-subdirs    '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-28/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-28/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-03-28/stage2/scripts/mmc --make --options-file - unsigned_zero_cmp.depend
gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-28/tests/warnings'
gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-28/tests/warnings'
{ echo MCFLAGS += '--grade java    --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-28/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --output-compile-error-lines 0 --color-diagnostics --infer-all --use-subdirs    '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-28/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-28/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-03-28/stage2/scripts/mmc --make --options-file - unsigned_zero_cmp.err
Making Mercury/int3s/unsigned_zero_cmp.int3
Making Mercury/ints/unsigned_zero_cmp.int
** Nothing to be done for `unsigned_zero_cmp.err'.
Comparing unsigned_zero_cmp.err with unsigned_zero_cmp.err_exp*,
	results in unsigned_zero_cmp.err_res
** unsigned_zero_cmp.err did not match the expected error output
** (closest match was unsigned_zero_cmp.err_res1)
--- unsigned_zero_cmp.err_exp	2024-05-20 21:50:23.000000000 +1000
+++ unsigned_zero_cmp.err	2025-03-29 08:45:05.208610560 +1100
@@ -1,46 +0,0 @@
-unsigned_zero_cmp.m:028: Warning: call to predicate `uint.<'/2 cannot succeed.
-unsigned_zero_cmp.m:028:   There are no uint values < 0u.
-unsigned_zero_cmp.m:029: Warning: call to predicate `uint.>'/2 cannot succeed.
-unsigned_zero_cmp.m:029:   0u is not > any uint value.
-unsigned_zero_cmp.m:030: Warning: call to predicate `uint.=<'/2 cannot fail.
-unsigned_zero_cmp.m:030:   0u is =< all uint values.
-unsigned_zero_cmp.m:031: Warning: call to predicate `uint.>='/2 cannot fail.
-unsigned_zero_cmp.m:031:   All uint values are >= 0u.
-unsigned_zero_cmp.m:034: Warning: call to predicate `uint8.<'/2 cannot succeed.
-unsigned_zero_cmp.m:034:   There are no uint8 values < 0u8.
-unsigned_zero_cmp.m:035: Warning: call to predicate `uint8.>'/2 cannot succeed.
-unsigned_zero_cmp.m:035:   0u8 is not > any uint8 value.
-unsigned_zero_cmp.m:036: Warning: call to predicate `uint8.=<'/2 cannot fail.
-unsigned_zero_cmp.m:036:   0u8 is =< all uint8 values.
-unsigned_zero_cmp.m:037: Warning: call to predicate `uint8.>='/2 cannot fail.
-unsigned_zero_cmp.m:037:   All uint8 values are >= 0u8.
-unsigned_zero_cmp.m:040: Warning: call to predicate `uint16.<'/2 cannot
-unsigned_zero_cmp.m:040:   succeed.
-unsigned_zero_cmp.m:040:   There are no uint16 values < 0u16.
-unsigned_zero_cmp.m:041: Warning: call to predicate `uint16.>'/2 cannot
-unsigned_zero_cmp.m:041:   succeed.
-unsigned_zero_cmp.m:041:   0u16 is not > any uint16 value.
-unsigned_zero_cmp.m:042: Warning: call to predicate `uint16.=<'/2 cannot fail.
-unsigned_zero_cmp.m:042:   0u16 is =< all uint16 values.
-unsigned_zero_cmp.m:043: Warning: call to predicate `uint16.>='/2 cannot fail.
-unsigned_zero_cmp.m:043:   All uint16 values are >= 0u16.
-unsigned_zero_cmp.m:046: Warning: call to predicate `uint32.<'/2 cannot
-unsigned_zero_cmp.m:046:   succeed.
-unsigned_zero_cmp.m:046:   There are no uint32 values < 0u32.
-unsigned_zero_cmp.m:047: Warning: call to predicate `uint32.>'/2 cannot
-unsigned_zero_cmp.m:047:   succeed.
-unsigned_zero_cmp.m:047:   0u32 is not > any uint32 value.
-unsigned_zero_cmp.m:048: Warning: call to predicate `uint32.=<'/2 cannot fail.
-unsigned_zero_cmp.m:048:   0u32 is =< all uint32 values.
-unsigned_zero_cmp.m:049: Warning: call to predicate `uint32.>='/2 cannot fail.
-unsigned_zero_cmp.m:049:   All uint32 values are >= 0u32.
-unsigned_zero_cmp.m:052: Warning: call to predicate `uint64.<'/2 cannot
-unsigned_zero_cmp.m:052:   succeed.
-unsigned_zero_cmp.m:052:   There are no uint64 values < 0u64.
-unsigned_zero_cmp.m:053: Warning: call to predicate `uint64.>'/2 cannot
-unsigned_zero_cmp.m:053:   succeed.
-unsigned_zero_cmp.m:053:   0u64 is not > any uint64 value.
-unsigned_zero_cmp.m:054: Warning: call to predicate `uint64.=<'/2 cannot fail.
-unsigned_zero_cmp.m:054:   0u64 is =< all uint64 values.
-unsigned_zero_cmp.m:055: Warning: call to predicate `uint64.>='/2 cannot fail.
-unsigned_zero_cmp.m:055:   All uint64 values are >= 0u64.
gmake[3]: *** [../Mmake.common:166: unsigned_zero_cmp.err_res] Error 1
gmake[3]: Target 'unsigned_zero_cmp.runtest' not remade because of errors.
gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-28/tests/warnings'