MERCURY_OPTIONS=
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-17/tests/valid'
{ echo MCFLAGS += '--grade java     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-17/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs  -O3  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-17/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-17/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 = '/mnt/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-17/stage2/scripts/mmc --make --options-file - neg_erroneous.depend
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-17/tests/valid'
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-17/tests/valid'
{ echo MCFLAGS += '--grade java     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-17/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs  -O3  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-17/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-17/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 = '/mnt/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-17/stage2/scripts/mmc --make --options-file - neg_erroneous.class
Making Mercury/int3s/neg_erroneous.int3
Making Mercury/ints/neg_erroneous.int
Making Mercury/javas/jmercury/neg_erroneous.java
neg_erroneous.m:012: Warning: the determinism declaration for `f'(out) could be
neg_erroneous.m:012:   tighter.
neg_erroneous.m:012:   Declared `semidet', inferred `det'.
neg_erroneous.m:020: Warning: the negated goal cannot fail.
Making Mercury/classes/jmercury/neg_erroneous.class
Mercury/javas/jmercury/neg_erroneous.java:23: error: cannot find symbol 
      succeeded = builtin.semidet_true_0_p_0();
                  ^
  symbol:   variable builtin
  location: class neg_erroneous
Mercury/javas/jmercury/neg_erroneous.java:32: error: cannot find symbol 
        private_builtin.sorry_1_p_0(Var_3);
        ^
  symbol:   variable private_builtin
  location: class neg_erroneous
2 errors
** Error making `Mercury/classes/jmercury/neg_erroneous.class'.
make[3]: *** [/tmp/mmake.yRsD59:1500: neg_erroneous.class] Error 1
make[3]: Target 'neg_erroneous.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-17/tests/valid'
ERROR OUTPUT
neg_erroneous.m:012: Warning: the determinism declaration for `f'(out) could be
neg_erroneous.m:012:   tighter.
neg_erroneous.m:012:   Declared `semidet', inferred `det'.
neg_erroneous.m:020: Warning: the negated goal cannot fail.
END OF THE ERROR OUTPUT