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  --loop-invariants  '; 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 - loop_inv_test4.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  --loop-invariants  '; 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 - loop_inv_test4
Making Mercury/int3s/loop_inv_test4.int3
Making Mercury/ints/loop_inv_test4.int
Making Mercury/javas/jmercury/loop_inv_test4.java
Making Java class files
Mercury/javas/jmercury/loop_inv_test4.java:32: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct __vti_func_3builtin__type_ctor_info_int_0builtin__type_ctor_info_int_0builtin__type_ctor_info_int_0 = new jmercury.runtime.TypeInfo_Struct();
                                       ^
Mercury/javas/jmercury/loop_inv_test4.java:33: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeCtorInfo_Struct loop_inv_test4__type_ctor_info_myfunc_0 = new jmercury.runtime.TypeCtorInfo_Struct();
                                      ^
Mercury/javas/jmercury/loop_inv_test4.java:74: error: package list.List_1 does not exist 
  private static final list.List_1.F_nil_0[] MR_scalar_common_3 = new list.List_1.F_nil_0[1];
                                  ^
Mercury/javas/jmercury/loop_inv_test4.java:75: error: package list.List_1 does not exist 
  private static final list.List_1.F_cons_2[] MR_scalar_common_4 = new list.List_1.F_cons_2[3];
                                  ^
Mercury/javas/jmercury/loop_inv_test4.java:193: error: package list does not exist 
    list.List_1 HeadVar__1_1)
        ^
Mercury/javas/jmercury/loop_inv_test4.java:230: error: package builtin does not exist 
  private static builtin.Comparison_result_0
                        ^
Mercury/javas/jmercury/loop_inv_test4.java:286: error: package jmercury.runtime does not exist 
    implements jmercury.runtime.MethodPtr2
                               ^
Mercury/javas/jmercury/loop_inv_test4.java:328: error: package jmercury.runtime does not exist 
    implements jmercury.runtime.MethodPtr3
                               ^
Mercury/javas/jmercury/loop_inv_test4.java:15: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.progname = "loop_inv_test4";
                    ^
Mercury/javas/jmercury/loop_inv_test4.java:16: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.args = args;
                    ^
Mercury/javas/jmercury/loop_inv_test4.java:17: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.exit_status = 0;
                    ^
Mercury/javas/jmercury/loop_inv_test4.java:18: error: cannot find symbol 
    library.ML_std_library_init();
    ^
  symbol:   variable library
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:19: error: cannot find symbol 
    benchmarking.ML_initialise();
    ^
  symbol:   variable benchmarking
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:25: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.runMain(run_main);
                    ^
Mercury/javas/jmercury/loop_inv_test4.java:26: error: cannot find symbol 
    io.flush_output_3_p_0(io.stdout_stream_0_f_0());
                          ^
  symbol:   variable io
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:26: error: cannot find symbol 
    io.flush_output_3_p_0(io.stdout_stream_0_f_0());
    ^
  symbol:   variable io
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:27: error: cannot find symbol 
    io.flush_output_3_p_0(io.stderr_stream_0_f_0());
                          ^
  symbol:   variable io
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:27: error: cannot find symbol 
    io.flush_output_3_p_0(io.stderr_stream_0_f_0());
    ^
  symbol:   variable io
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:28: error: package jmercury.runtime does not exist 
    java.lang.System.exit(jmercury.runtime.JavaInternal.exit_status);
                                          ^
Mercury/javas/jmercury/loop_inv_test4.java:32: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct __vti_func_3builtin__type_ctor_info_int_0builtin__type_ctor_info_int_0builtin__type_ctor_info_int_0 = new jmercury.runtime.TypeInfo_Struct();
                                                                                                                                                                                  ^
Mercury/javas/jmercury/loop_inv_test4.java:33: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeCtorInfo_Struct loop_inv_test4__type_ctor_info_myfunc_0 = new jmercury.runtime.TypeCtorInfo_Struct();
                                                                                                                         ^
Mercury/javas/jmercury/loop_inv_test4.java:38: error: cannot find symbol 
      builtin.builtin__type_ctor_info_func_0,
      ^
  symbol:   variable builtin
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:40: error: cannot find symbol 
        jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0),
                                                   ^
  symbol:   variable builtin
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:40: error: package jmercury.runtime does not exist 
        jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0),
                        ^
Mercury/javas/jmercury/loop_inv_test4.java:41: error: cannot find symbol 
        jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0),
                                                   ^
  symbol:   variable builtin
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:41: error: package jmercury.runtime does not exist 
        jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0),
                        ^
Mercury/javas/jmercury/loop_inv_test4.java:42: error: cannot find symbol 
        jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0)
                                                   ^
  symbol:   variable builtin
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:42: error: package jmercury.runtime does not exist 
        jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0)
                        ^
Mercury/javas/jmercury/loop_inv_test4.java:49: error: package jmercury.runtime does not exist 
      jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_EQUIV_GROUND,
                      ^
Mercury/javas/jmercury/loop_inv_test4.java:54: error: package jmercury.runtime does not exist 
      new jmercury.runtime.TypeFunctors(
                          ^
Mercury/javas/jmercury/loop_inv_test4.java:57: error: package jmercury.runtime does not exist 
      new jmercury.runtime.TypeLayout(
                          ^
Mercury/javas/jmercury/loop_inv_test4.java:58: error: package jmercury.runtime does not exist 
        (jmercury.runtime.PseudoTypeInfo) loop_inv_test4.__vti_func_3builtin__type_ctor_info_int_0builtin__type_ctor_info_int_0builtin__type_ctor_info_int_0
                         ^
Mercury/javas/jmercury/loop_inv_test4.java:74: error: package list.List_1 does not exist 
  private static final list.List_1.F_nil_0[] MR_scalar_common_3 = new list.List_1.F_nil_0[1];
                                                                                 ^
Mercury/javas/jmercury/loop_inv_test4.java:75: error: package list.List_1 does not exist 
  private static final list.List_1.F_cons_2[] MR_scalar_common_4 = new list.List_1.F_cons_2[3];
                                                                                  ^
Mercury/javas/jmercury/loop_inv_test4.java:83: error: cannot find symbol 
        ((java.lang.Object) (builtin.builtin__type_ctor_info_int_0)),
                             ^
  symbol:   variable builtin
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:83: error: illegal start of type 
        ((java.lang.Object) (builtin.builtin__type_ctor_info_int_0)),
                            ^
Mercury/javas/jmercury/loop_inv_test4.java:84: error: cannot find symbol 
        ((java.lang.Object) (builtin.builtin__type_ctor_info_int_0)),
                             ^
  symbol:   variable builtin
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:84: error: illegal start of type 
        ((java.lang.Object) (builtin.builtin__type_ctor_info_int_0)),
                            ^
Mercury/javas/jmercury/loop_inv_test4.java:85: error: cannot find symbol 
        ((java.lang.Object) (builtin.builtin__type_ctor_info_int_0))
                             ^
  symbol:   variable builtin
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:85: error: illegal start of type 
        ((java.lang.Object) (builtin.builtin__type_ctor_info_int_0))
                            ^
Mercury/javas/jmercury/loop_inv_test4.java:106: error: package list.List_1 does not exist 
      new list.List_1.F_nil_0();
                     ^
Mercury/javas/jmercury/loop_inv_test4.java:108: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/loop_inv_test4.java:110: error: package list does not exist 
        (list.List_1) loop_inv_test4.MR_scalar_common_3[0]
             ^
Mercury/javas/jmercury/loop_inv_test4.java:113: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/loop_inv_test4.java:115: error: package list does not exist 
        (list.List_1) loop_inv_test4.MR_scalar_common_4[0]
             ^
Mercury/javas/jmercury/loop_inv_test4.java:118: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/loop_inv_test4.java:120: error: package list does not exist 
        (list.List_1) loop_inv_test4.MR_scalar_common_4[1]
             ^
Mercury/javas/jmercury/loop_inv_test4.java:133: error: package list does not exist 
    list.List_1 List_4 = (list.List_1) loop_inv_test4.MR_scalar_common_4[2];
        ^
Mercury/javas/jmercury/loop_inv_test4.java:133: error: package list does not exist 
    list.List_1 List_4 = (list.List_1) loop_inv_test4.MR_scalar_common_4[2];
                              ^
Mercury/javas/jmercury/loop_inv_test4.java:151: error: cannot find symbol 
      conv0_HeadVar__3_3 = mr_int.plus_2_f_0(((java.lang.Integer) wrapper_arg_1).intValue(), ((java.lang.Integer) wrapper_arg_2).intValue());
                           ^
  symbol:   variable mr_int
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:168: error: cannot find symbol 
      conv1_HeadVar__3_3 = mr_int.times_2_f_0(((java.lang.Integer) wrapper_arg_1).intValue(), ((java.lang.Integer) wrapper_arg_2).intValue());
                           ^
  symbol:   variable mr_int
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:185: error: cannot find symbol 
      conv2_HeadVar__3_3 = mr_int.minus_2_f_0(((java.lang.Integer) wrapper_arg_1).intValue(), ((java.lang.Integer) wrapper_arg_2).intValue());
                           ^
  symbol:   variable mr_int
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:200: error: package list.List_1 does not exist 
        /* closure */ java.lang.Object[] P_7 = ((/* closure */ java.lang.Object[]) ((list.List_1.F_cons_2) HeadVar__1_1).F1);
                                                                                                ^
Mercury/javas/jmercury/loop_inv_test4.java:201: error: package list does not exist 
        list.List_1 Ps_8 = ((list.List_1.F_cons_2) HeadVar__1_1).F2;
            ^
Mercury/javas/jmercury/loop_inv_test4.java:201: error: package list.List_1 does not exist 
        list.List_1 Ps_8 = ((list.List_1.F_cons_2) HeadVar__1_1).F2;
                                        ^
Mercury/javas/jmercury/loop_inv_test4.java:206: error: package jmercury.runtime does not exist 
        jmercury.runtime.MethodPtr func_0 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) P_7)[1]);
                        ^
Mercury/javas/jmercury/loop_inv_test4.java:206: error: package jmercury.runtime does not exist 
        jmercury.runtime.MethodPtr func_0 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) P_7)[1]);
                                                              ^
Mercury/javas/jmercury/loop_inv_test4.java:208: error: package list does not exist 
        list.List_1 next_value_of_HeadVar__1_1 = null;
            ^
Mercury/javas/jmercury/loop_inv_test4.java:211: error: package jmercury.runtime does not exist 
          conv1_X_10 = ((java.lang.Object) ((jmercury.runtime.MethodPtr3) func_0).call___0_0(((java.lang.Object) (((/* generic_type */ java.lang.Object) P_7))), ((java.lang.Object) (java.lang.Integer.valueOf(Var_13))), ((java.lang.Object) (java.lang.Integer.valueOf(Var_14)))));
                                                             ^
Mercury/javas/jmercury/loop_inv_test4.java:215: error: cannot find symbol 
          io.write_int_3_p_0(X_10);
          ^
  symbol:   variable io
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:219: error: cannot find symbol 
          io.write_string_3_p_0(Var_16);
          ^
  symbol:   variable io
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:235: error: package builtin does not exist 
    builtin.Comparison_result_0 HeadVar__1_1 = null;
           ^
Mercury/javas/jmercury/loop_inv_test4.java:238: error: cannot find symbol 
      HeadVar__1_1 = private_builtin.builtin_compare_pred_3_p_0((/* closure */ java.lang.Object[]) HeadVar__2_2, (/* closure */ java.lang.Object[]) HeadVar__3_3);
                     ^
  symbol:   variable private_builtin
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:249: error: package builtin does not exist 
    builtin.Comparison_result_0 conv0_HeadVar__1_1 = null;
           ^
Mercury/javas/jmercury/loop_inv_test4.java:266: error: cannot find symbol 
      succeeded = private_builtin.builtin_unify_pred_2_p_0((/* closure */ java.lang.Object[]) HeadVar__1_1, (/* closure */ java.lang.Object[]) HeadVar__2_2);
                  ^
  symbol:   variable private_builtin
  location: class loop_inv_test4
Mercury/javas/jmercury/loop_inv_test4.java:315: error: package jmercury.runtime does not exist 
          throw new jmercury.runtime.UnreachableDefault();
                                    ^
Mercury/javas/jmercury/loop_inv_test4.java:367: error: package jmercury.runtime does not exist 
          throw new jmercury.runtime.UnreachableDefault();
                                    ^
67 errors
make[3]: *** [/tmp/mmake.0iZ4FK:2360: loop_inv_test4] Error 1
make[3]: Target 'loop_inv_test4.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/hard_coded'