MERCURY_OPTIONS=
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/hard_coded'
{ echo MCFLAGS += '--grade java     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs    '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/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-07-24/stage2/scripts/mmc --make --options-file - test_char_digits.depend
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/hard_coded'
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/hard_coded'
{ echo MCFLAGS += '--grade java     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs    '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/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-07-24/stage2/scripts/mmc --make --options-file - test_char_digits
Making Mercury/int3s/test_char_digits.int3
Making Mercury/ints/test_char_digits.int
Making Mercury/javas/jmercury/test_char_digits.java
Making Java class files
Mercury/javas/jmercury/test_char_digits.java:32: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct __vpti_pred_1__plain_builtin__type_ctor_info_character_0 = new jmercury.runtime.TypeInfo_Struct();
                                       ^
Mercury/javas/jmercury/test_char_digits.java:33: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct __vpti_pred_2__plain_builtin__type_ctor_info_character_0__plain_builtin__type_ctor_info_int_0 = new jmercury.runtime.TypeInfo_Struct();
                                       ^
Mercury/javas/jmercury/test_char_digits.java:34: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct __vpti_pred_2__plain_builtin__type_ctor_info_int_0__plain_builtin__type_ctor_info_character_0 = new jmercury.runtime.TypeInfo_Struct();
                                       ^
Mercury/javas/jmercury/test_char_digits.java:65: error: package list.List_1 does not exist 
  private static final list.List_1.F_nil_0[] MR_scalar_common_1 = new list.List_1.F_nil_0[1];
                                  ^
Mercury/javas/jmercury/test_char_digits.java:66: error: package list.List_1 does not exist 
  private static final list.List_1.F_cons_2[] MR_scalar_common_2 = new list.List_1.F_cons_2[65];
                                  ^
Mercury/javas/jmercury/test_char_digits.java:72: error: package string__parse_util does not exist 
  private static final string__parse_util.String_format_flags_0[] MR_scalar_common_8 = new string__parse_util.String_format_flags_0[1];
                                         ^
Mercury/javas/jmercury/test_char_digits.java:1209: error: package list does not exist 
  private static list.List_1
                     ^
Mercury/javas/jmercury/test_char_digits.java:1219: error: package jmercury.runtime does not exist 
    implements jmercury.runtime.MethodPtr2
                               ^
Mercury/javas/jmercury/test_char_digits.java:1378: error: package jmercury.runtime does not exist 
    implements jmercury.runtime.MethodPtr3
                               ^
Mercury/javas/jmercury/test_char_digits.java:15: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.progname = "test_char_digits";
                    ^
Mercury/javas/jmercury/test_char_digits.java:16: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.args = args;
                    ^
Mercury/javas/jmercury/test_char_digits.java:17: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.exit_status = 0;
                    ^
Mercury/javas/jmercury/test_char_digits.java:18: error: cannot find symbol 
    library.ML_std_library_init();
    ^
  symbol:   variable library
  location: class test_char_digits
Mercury/javas/jmercury/test_char_digits.java:19: error: cannot find symbol 
    benchmarking.ML_initialise();
    ^
  symbol:   variable benchmarking
  location: class test_char_digits
Mercury/javas/jmercury/test_char_digits.java:25: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.runMain(run_main);
                    ^
Mercury/javas/jmercury/test_char_digits.java:26: error: cannot find symbol 
    io.flush_output_3_p_0(io.stdout_stream_0_f_0());
                          ^
  symbol:   variable io
  location: class test_char_digits
Mercury/javas/jmercury/test_char_digits.java:26: error: cannot find symbol 
    io.flush_output_3_p_0(io.stdout_stream_0_f_0());
    ^
  symbol:   variable io
  location: class test_char_digits
Mercury/javas/jmercury/test_char_digits.java:27: error: cannot find symbol 
    io.flush_output_3_p_0(io.stderr_stream_0_f_0());
                          ^
  symbol:   variable io
  location: class test_char_digits
Mercury/javas/jmercury/test_char_digits.java:27: error: cannot find symbol 
    io.flush_output_3_p_0(io.stderr_stream_0_f_0());
    ^
  symbol:   variable io
  location: class test_char_digits
Mercury/javas/jmercury/test_char_digits.java:28: error: package jmercury.runtime does not exist 
    java.lang.System.exit(jmercury.runtime.JavaInternal.exit_status);
                                          ^
Mercury/javas/jmercury/test_char_digits.java:32: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct __vpti_pred_1__plain_builtin__type_ctor_info_character_0 = new jmercury.runtime.TypeInfo_Struct();
                                                                                                                                       ^
Mercury/javas/jmercury/test_char_digits.java:33: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct __vpti_pred_2__plain_builtin__type_ctor_info_character_0__plain_builtin__type_ctor_info_int_0 = new jmercury.runtime.TypeInfo_Struct();
                                                                                                                                                                            ^
Mercury/javas/jmercury/test_char_digits.java:34: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct __vpti_pred_2__plain_builtin__type_ctor_info_int_0__plain_builtin__type_ctor_info_character_0 = new jmercury.runtime.TypeInfo_Struct();
                                                                                                                                                                            ^
Mercury/javas/jmercury/test_char_digits.java:39: error: cannot find symbol 
      builtin.builtin__type_ctor_info_pred_0,
      ^
  symbol:   variable builtin
  location: class test_char_digits
Mercury/javas/jmercury/test_char_digits.java:41: error: package jmercury.runtime does not exist 
        (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_character_0
                         ^
Mercury/javas/jmercury/test_char_digits.java:41: error: cannot find symbol 
        (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_character_0
                                          ^
  symbol:   variable builtin
  location: class test_char_digits
Mercury/javas/jmercury/test_char_digits.java:45: error: cannot find symbol 
      builtin.builtin__type_ctor_info_pred_0,
      ^
  symbol:   variable builtin
  location: class test_char_digits
Mercury/javas/jmercury/test_char_digits.java:47: error: package jmercury.runtime does not exist 
        (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_character_0,
                         ^
Mercury/javas/jmercury/test_char_digits.java:47: error: cannot find symbol 
        (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_character_0,
                                          ^
  symbol:   variable builtin
  location: class test_char_digits
Mercury/javas/jmercury/test_char_digits.java:48: error: package jmercury.runtime does not exist 
        (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0
                         ^
Mercury/javas/jmercury/test_char_digits.java:48: error: cannot find symbol 
        (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0
                                          ^
  symbol:   variable builtin
  location: class test_char_digits
Mercury/javas/jmercury/test_char_digits.java:52: error: cannot find symbol 
      builtin.builtin__type_ctor_info_pred_0,
      ^
  symbol:   variable builtin
  location: class test_char_digits
Mercury/javas/jmercury/test_char_digits.java:54: error: package jmercury.runtime does not exist 
        (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0,
                         ^
Mercury/javas/jmercury/test_char_digits.java:54: error: cannot find symbol 
        (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0,
                                          ^
  symbol:   variable builtin
  location: class test_char_digits
Mercury/javas/jmercury/test_char_digits.java:55: error: package jmercury.runtime does not exist 
        (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_character_0
                         ^
Mercury/javas/jmercury/test_char_digits.java:55: error: cannot find symbol 
        (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_character_0
                                          ^
  symbol:   variable builtin
  location: class test_char_digits
Mercury/javas/jmercury/test_char_digits.java:65: error: package list.List_1 does not exist 
  private static final list.List_1.F_nil_0[] MR_scalar_common_1 = new list.List_1.F_nil_0[1];
                                                                                 ^
Mercury/javas/jmercury/test_char_digits.java:66: error: package list.List_1 does not exist 
  private static final list.List_1.F_cons_2[] MR_scalar_common_2 = new list.List_1.F_cons_2[65];
                                                                                  ^
Mercury/javas/jmercury/test_char_digits.java:72: error: package string__parse_util does not exist 
  private static final string__parse_util.String_format_flags_0[] MR_scalar_common_8 = new string__parse_util.String_format_flags_0[1];
                                                                                                             ^
Mercury/javas/jmercury/test_char_digits.java:76: error: package list.List_1 does not exist 
      new list.List_1.F_nil_0();
                     ^
Mercury/javas/jmercury/test_char_digits.java:78: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:80: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_1[0]
             ^
Mercury/javas/jmercury/test_char_digits.java:83: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:85: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[0]
             ^
Mercury/javas/jmercury/test_char_digits.java:88: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:90: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[1]
             ^
Mercury/javas/jmercury/test_char_digits.java:93: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:95: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[2]
             ^
Mercury/javas/jmercury/test_char_digits.java:98: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:100: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[3]
             ^
Mercury/javas/jmercury/test_char_digits.java:103: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:105: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[4]
             ^
Mercury/javas/jmercury/test_char_digits.java:108: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:110: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[5]
             ^
Mercury/javas/jmercury/test_char_digits.java:113: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:115: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[6]
             ^
Mercury/javas/jmercury/test_char_digits.java:118: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:120: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[7]
             ^
Mercury/javas/jmercury/test_char_digits.java:123: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:125: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[8]
             ^
Mercury/javas/jmercury/test_char_digits.java:128: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:130: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[9]
             ^
Mercury/javas/jmercury/test_char_digits.java:133: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:135: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[10]
             ^
Mercury/javas/jmercury/test_char_digits.java:138: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:140: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[11]
             ^
Mercury/javas/jmercury/test_char_digits.java:143: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:145: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[12]
             ^
Mercury/javas/jmercury/test_char_digits.java:148: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:150: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[13]
             ^
Mercury/javas/jmercury/test_char_digits.java:153: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:155: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[14]
             ^
Mercury/javas/jmercury/test_char_digits.java:158: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:160: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[15]
             ^
Mercury/javas/jmercury/test_char_digits.java:163: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:165: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[16]
             ^
Mercury/javas/jmercury/test_char_digits.java:168: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:170: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[17]
             ^
Mercury/javas/jmercury/test_char_digits.java:173: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:175: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[18]
             ^
Mercury/javas/jmercury/test_char_digits.java:178: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:180: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[19]
             ^
Mercury/javas/jmercury/test_char_digits.java:183: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:185: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[20]
             ^
Mercury/javas/jmercury/test_char_digits.java:188: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:190: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[21]
             ^
Mercury/javas/jmercury/test_char_digits.java:193: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:195: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[22]
             ^
Mercury/javas/jmercury/test_char_digits.java:198: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:200: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[23]
             ^
Mercury/javas/jmercury/test_char_digits.java:203: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:205: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[24]
             ^
Mercury/javas/jmercury/test_char_digits.java:208: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:210: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[25]
             ^
Mercury/javas/jmercury/test_char_digits.java:213: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:215: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[26]
             ^
Mercury/javas/jmercury/test_char_digits.java:218: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:220: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[27]
             ^
Mercury/javas/jmercury/test_char_digits.java:223: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/test_char_digits.java:225: error: package list does not exist 
        (list.List_1) test_char_digits.MR_scalar_common_2[28]
             ^
100 errors
make[3]: *** [/tmp/mmake.KNLcR0:2360: test_char_digits] Error 1
make[3]: Target 'test_char_digits.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/hard_coded'