MERCURY_OPTIONS=
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-10-13/tests/hard_coded'
{ echo MCFLAGS += '--grade java     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-10-13/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-10-13/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-10-13/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-10-13/stage2/scripts/mmc --make --options-file - contravariance_bug.depend
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-10-13/tests/hard_coded'
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-10-13/tests/hard_coded'
{ echo MCFLAGS += '--grade java     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-10-13/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-10-13/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-10-13/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-10-13/stage2/scripts/mmc --make --options-file - contravariance_bug
Making Mercury/int3s/contravariance_bug.int3
Making Mercury/ints/contravariance_bug.int
Making Mercury/javas/jmercury/contravariance_bug.java
Making Java class files
Mercury/javas/jmercury/contravariance_bug.java:32: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct list__pti_list_1__plain_builtin__type_ctor_info_int_0 = new jmercury.runtime.TypeInfo_Struct();
                                       ^
Mercury/javas/jmercury/contravariance_bug.java:33: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct list__ti_list_1builtin__type_ctor_info_int_0 = new jmercury.runtime.TypeInfo_Struct();
                                       ^
Mercury/javas/jmercury/contravariance_bug.java:34: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeCtorInfo_Struct contravariance_bug__type_ctor_info_intlist_0 = new jmercury.runtime.TypeCtorInfo_Struct();
                                      ^
Mercury/javas/jmercury/contravariance_bug.java:77: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct[] MR_scalar_common_1 = new jmercury.runtime.TypeInfo_Struct[1];
                                       ^
Mercury/javas/jmercury/contravariance_bug.java:80: error: package list.List_1 does not exist 
  private static final list.List_1.F_nil_0[] MR_scalar_common_4 = new list.List_1.F_nil_0[1];
                                  ^
Mercury/javas/jmercury/contravariance_bug.java:81: error: package list.List_1 does not exist 
  private static final list.List_1.F_cons_2[] MR_scalar_common_5 = new list.List_1.F_cons_2[1];
                                  ^
Mercury/javas/jmercury/contravariance_bug.java:186: error: package list does not exist 
    list.List_1 HeadVar__1_1)
        ^
Mercury/javas/jmercury/contravariance_bug.java:237: error: package list does not exist 
    list.List_1 HeadVar__2_2,
        ^
Mercury/javas/jmercury/contravariance_bug.java:238: error: package list does not exist 
    list.List_1 HeadVar__3_3)
        ^
Mercury/javas/jmercury/contravariance_bug.java:235: error: package builtin does not exist 
  private static builtin.Comparison_result_0
                        ^
Mercury/javas/jmercury/contravariance_bug.java:268: error: package list does not exist 
    list.List_1 HeadVar__1_1,
        ^
Mercury/javas/jmercury/contravariance_bug.java:269: error: package list does not exist 
    list.List_1 HeadVar__2_2)
        ^
Mercury/javas/jmercury/contravariance_bug.java:297: error: package jmercury.runtime does not exist 
    implements jmercury.runtime.MethodPtr2
                               ^
Mercury/javas/jmercury/contravariance_bug.java:15: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.progname = "contravariance_bug";
                    ^
Mercury/javas/jmercury/contravariance_bug.java:16: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.args = args;
                    ^
Mercury/javas/jmercury/contravariance_bug.java:17: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.exit_status = 0;
                    ^
Mercury/javas/jmercury/contravariance_bug.java:18: error: cannot find symbol 
    library.ML_std_library_init();
    ^
  symbol:   variable library
  location: class contravariance_bug
Mercury/javas/jmercury/contravariance_bug.java:19: error: cannot find symbol 
    benchmarking.ML_initialise();
    ^
  symbol:   variable benchmarking
  location: class contravariance_bug
Mercury/javas/jmercury/contravariance_bug.java:25: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.runMain(run_main);
                    ^
Mercury/javas/jmercury/contravariance_bug.java:26: error: cannot find symbol 
    io.flush_output_3_p_0(io.stdout_stream_0_f_0());
                          ^
  symbol:   variable io
  location: class contravariance_bug
Mercury/javas/jmercury/contravariance_bug.java:26: error: cannot find symbol 
    io.flush_output_3_p_0(io.stdout_stream_0_f_0());
    ^
  symbol:   variable io
  location: class contravariance_bug
Mercury/javas/jmercury/contravariance_bug.java:27: error: cannot find symbol 
    io.flush_output_3_p_0(io.stderr_stream_0_f_0());
                          ^
  symbol:   variable io
  location: class contravariance_bug
Mercury/javas/jmercury/contravariance_bug.java:27: error: cannot find symbol 
    io.flush_output_3_p_0(io.stderr_stream_0_f_0());
    ^
  symbol:   variable io
  location: class contravariance_bug
Mercury/javas/jmercury/contravariance_bug.java:28: error: package jmercury.runtime does not exist 
    java.lang.System.exit(jmercury.runtime.JavaInternal.exit_status);
                                          ^
Mercury/javas/jmercury/contravariance_bug.java:32: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct list__pti_list_1__plain_builtin__type_ctor_info_int_0 = new jmercury.runtime.TypeInfo_Struct();
                                                                                                                                    ^
Mercury/javas/jmercury/contravariance_bug.java:33: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct list__ti_list_1builtin__type_ctor_info_int_0 = new jmercury.runtime.TypeInfo_Struct();
                                                                                                                           ^
Mercury/javas/jmercury/contravariance_bug.java:34: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeCtorInfo_Struct contravariance_bug__type_ctor_info_intlist_0 = new jmercury.runtime.TypeCtorInfo_Struct();
                                                                                                                              ^
Mercury/javas/jmercury/contravariance_bug.java:39: error: cannot find symbol 
      list.list__type_ctor_info_list_1,
      ^
  symbol:   variable list
  location: class contravariance_bug
Mercury/javas/jmercury/contravariance_bug.java:41: error: package jmercury.runtime does not exist 
        (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0
                         ^
Mercury/javas/jmercury/contravariance_bug.java:41: error: cannot find symbol 
        (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0
                                          ^
  symbol:   variable builtin
  location: class contravariance_bug
Mercury/javas/jmercury/contravariance_bug.java:45: error: cannot find symbol 
      list.list__type_ctor_info_list_1,
      ^
  symbol:   variable list
  location: class contravariance_bug
Mercury/javas/jmercury/contravariance_bug.java:47: error: cannot find symbol 
        jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0)
                                                   ^
  symbol:   variable builtin
  location: class contravariance_bug
Mercury/javas/jmercury/contravariance_bug.java:47: error: package jmercury.runtime does not exist 
        jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0)
                        ^
Mercury/javas/jmercury/contravariance_bug.java:54: error: package jmercury.runtime does not exist 
      jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_EQUIV_GROUND,
                      ^
Mercury/javas/jmercury/contravariance_bug.java:59: error: package jmercury.runtime does not exist 
      new jmercury.runtime.TypeFunctors(
                          ^
Mercury/javas/jmercury/contravariance_bug.java:62: error: package jmercury.runtime does not exist 
      new jmercury.runtime.TypeLayout(
                          ^
Mercury/javas/jmercury/contravariance_bug.java:63: error: package jmercury.runtime does not exist 
        (jmercury.runtime.PseudoTypeInfo) contravariance_bug.list__ti_list_1builtin__type_ctor_info_int_0
                         ^
Mercury/javas/jmercury/contravariance_bug.java:77: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct[] MR_scalar_common_1 = new jmercury.runtime.TypeInfo_Struct[1];
                                                                                                   ^
Mercury/javas/jmercury/contravariance_bug.java:80: error: package list.List_1 does not exist 
  private static final list.List_1.F_nil_0[] MR_scalar_common_4 = new list.List_1.F_nil_0[1];
                                                                                 ^
Mercury/javas/jmercury/contravariance_bug.java:81: error: package list.List_1 does not exist 
  private static final list.List_1.F_cons_2[] MR_scalar_common_5 = new list.List_1.F_cons_2[1];
                                                                                  ^
Mercury/javas/jmercury/contravariance_bug.java:85: error: package jmercury.runtime does not exist 
      new jmercury.runtime.TypeInfo_Struct(
                          ^
Mercury/javas/jmercury/contravariance_bug.java:86: error: cannot find symbol 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(list.list__type_ctor_info_list_1))),
                                                                        ^
  symbol:   variable list
  location: class contravariance_bug
Mercury/javas/jmercury/contravariance_bug.java:86: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(list.list__type_ctor_info_list_1))),
                                             ^
Mercury/javas/jmercury/contravariance_bug.java:87: error: cannot find symbol 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0)))
                                                                        ^
  symbol:   variable builtin
  location: class contravariance_bug
Mercury/javas/jmercury/contravariance_bug.java:87: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0)))
                                             ^
Mercury/javas/jmercury/contravariance_bug.java:104: error: package list.List_1 does not exist 
      new list.List_1.F_nil_0();
                     ^
Mercury/javas/jmercury/contravariance_bug.java:106: error: package list.List_1 does not exist 
      new list.List_1.F_cons_2(
                     ^
Mercury/javas/jmercury/contravariance_bug.java:108: error: package list does not exist 
        (list.List_1) contravariance_bug.MR_scalar_common_4[0]
             ^
Mercury/javas/jmercury/contravariance_bug.java:123: error: package list does not exist 
    list.List_1 L_10 = null;
        ^
Mercury/javas/jmercury/contravariance_bug.java:124: error: package list does not exist 
    list.List_1 Var_11 = (list.List_1) contravariance_bug.MR_scalar_common_5[0];
        ^
Mercury/javas/jmercury/contravariance_bug.java:124: error: package list does not exist 
    list.List_1 Var_11 = (list.List_1) contravariance_bug.MR_scalar_common_5[0];
                              ^
Mercury/javas/jmercury/contravariance_bug.java:125: error: package jmercury.runtime does not exist 
    jmercury.runtime.MethodPtr func_1 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) Var_6)[1]);
                    ^
Mercury/javas/jmercury/contravariance_bug.java:125: error: package jmercury.runtime does not exist 
    jmercury.runtime.MethodPtr func_1 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) Var_6)[1]);
                                                          ^
Mercury/javas/jmercury/contravariance_bug.java:129: error: package jmercury.runtime does not exist 
      java.lang.Object [] result = ((java.lang.Object[]) ((jmercury.runtime.MethodPtr2) func_1).call___0_0(((java.lang.Object) (((/* generic_type */ java.lang.Object) Var_6))), ((java.lang.Object) (((java.lang.Object) (Var_11))))));
                                                                           ^
Mercury/javas/jmercury/contravariance_bug.java:135: error: package list does not exist 
      L_10 = ((list.List_1) conv2_L_10);
                   ^
Mercury/javas/jmercury/contravariance_bug.java:145: error: cannot find symbol 
        io.write_string_3_p_0(Var_7);
        ^
  symbol:   variable io
  location: class contravariance_bug
Mercury/javas/jmercury/contravariance_bug.java:153: error: cannot find symbol 
        io.write_string_3_p_0(Var_9);
        ^
  symbol:   variable io
  location: class contravariance_bug
Mercury/javas/jmercury/contravariance_bug.java:166: error: package list does not exist 
    list.List_1 conv0_HeadVar__2_2 = null;
        ^
Mercury/javas/jmercury/contravariance_bug.java:169: error: package list does not exist 
      java.lang.Object [] result = contravariance_bug.p_2_p_0(((list.List_1) wrapper_arg_1));
                                                                    ^
Mercury/javas/jmercury/contravariance_bug.java:171: error: package list does not exist 
      conv0_HeadVar__2_2 = (list.List_1) result[1];
                                ^
Mercury/javas/jmercury/contravariance_bug.java:189: error: package list does not exist 
    list.List_1 HeadVar__2_2 = null;
        ^
Mercury/javas/jmercury/contravariance_bug.java:190: error: package list does not exist 
    list.List_1 Var_11 = null;
        ^
Mercury/javas/jmercury/contravariance_bug.java:195: error: package list.List_1 does not exist 
      Var_12 = ((java.lang.Integer) (((list.List_1.F_cons_2) HeadVar__1_1).F1)).intValue();
                                                  ^
Mercury/javas/jmercury/contravariance_bug.java:195: error: illegal start of type 
      Var_12 = ((java.lang.Integer) (((list.List_1.F_cons_2) HeadVar__1_1).F1)).intValue();
                                    ^
Mercury/javas/jmercury/contravariance_bug.java:196: error: package list.List_1 does not exist 
      Var_11 = ((list.List_1.F_cons_2) HeadVar__1_1).F2;
                            ^
Mercury/javas/jmercury/contravariance_bug.java:199: error: package list does not exist 
        list.List_1 Var_5 = (list.List_1) contravariance_bug.MR_scalar_common_4[0];
            ^
Mercury/javas/jmercury/contravariance_bug.java:199: error: package list does not exist 
        list.List_1 Var_5 = (list.List_1) contravariance_bug.MR_scalar_common_4[0];
                                 ^
Mercury/javas/jmercury/contravariance_bug.java:202: error: package list.List_1 does not exist 
          HeadVar__2_2 = new list.List_1.F_cons_2(
                                        ^
Mercury/javas/jmercury/contravariance_bug.java:210: error: package list.List_1 does not exist 
        int Y_7 = ((java.lang.Integer) (((list.List_1.F_cons_2) Var_11).F1)).intValue();
                                                     ^
Mercury/javas/jmercury/contravariance_bug.java:210: error: illegal start of type 
        int Y_7 = ((java.lang.Integer) (((list.List_1.F_cons_2) Var_11).F1)).intValue();
                                       ^
Mercury/javas/jmercury/contravariance_bug.java:211: error: package list does not exist 
        list.List_1 Zs_8 = ((list.List_1.F_cons_2) Var_11).F2;
            ^
Mercury/javas/jmercury/contravariance_bug.java:211: error: package list.List_1 does not exist 
        list.List_1 Zs_8 = ((list.List_1.F_cons_2) Var_11).F2;
                                        ^
Mercury/javas/jmercury/contravariance_bug.java:212: error: package list does not exist 
        list.List_1 Var_10 = null;
            ^
Mercury/javas/jmercury/contravariance_bug.java:215: error: package list.List_1 does not exist 
          Var_10 = new list.List_1.F_cons_2(
                                  ^
Mercury/javas/jmercury/contravariance_bug.java:221: error: package list.List_1 does not exist 
          HeadVar__2_2 = new list.List_1.F_cons_2(
                                        ^
Mercury/javas/jmercury/contravariance_bug.java:240: error: package builtin does not exist 
    builtin.Comparison_result_0 HeadVar__1_1 = null;
           ^
Mercury/javas/jmercury/contravariance_bug.java:241: error: package jmercury.runtime does not exist 
    jmercury.runtime.TypeInfo_Struct TypeInfo_6_6 = jmercury.runtime.TypeInfo_Struct.maybe_new(contravariance_bug.MR_scalar_common_1[0]);
                    ^
Mercury/javas/jmercury/contravariance_bug.java:241: error: package jmercury.runtime does not exist 
    jmercury.runtime.TypeInfo_Struct TypeInfo_6_6 = jmercury.runtime.TypeInfo_Struct.maybe_new(contravariance_bug.MR_scalar_common_1[0]);
                                                                    ^
Mercury/javas/jmercury/contravariance_bug.java:242: error: package list does not exist 
    list.List_1 Cast_HeadVar1_4 = HeadVar__2_2;
        ^
Mercury/javas/jmercury/contravariance_bug.java:243: error: package list does not exist 
    list.List_1 Cast_HeadVar2_5 = HeadVar__3_3;
        ^
Mercury/javas/jmercury/contravariance_bug.java:246: error: cannot find symbol 
      HeadVar__1_1 = builtin.compare_3_p_0(TypeInfo_6_6, ((java.lang.Object) (Cast_HeadVar1_4)), ((java.lang.Object) (Cast_HeadVar2_5)));
                     ^
  symbol:   variable builtin
  location: class contravariance_bug
Mercury/javas/jmercury/contravariance_bug.java:257: error: package builtin does not exist 
    builtin.Comparison_result_0 conv0_HeadVar__1_1 = null;
           ^
Mercury/javas/jmercury/contravariance_bug.java:260: error: package list does not exist 
      conv0_HeadVar__1_1 = contravariance_bug.__Compare____intlist_0_0(((list.List_1) wrapper_arg_2), ((list.List_1) wrapper_arg_3));
                                                                             ^
Mercury/javas/jmercury/contravariance_bug.java:260: error: package list does not exist 
      conv0_HeadVar__1_1 = contravariance_bug.__Compare____intlist_0_0(((list.List_1) wrapper_arg_2), ((list.List_1) wrapper_arg_3));
                                                                                                            ^
Mercury/javas/jmercury/contravariance_bug.java:272: error: package jmercury.runtime does not exist 
    jmercury.runtime.TypeInfo_Struct TypeInfo_5_5 = jmercury.runtime.TypeInfo_Struct.maybe_new(contravariance_bug.MR_scalar_common_1[0]);
                    ^
Mercury/javas/jmercury/contravariance_bug.java:272: error: package jmercury.runtime does not exist 
    jmercury.runtime.TypeInfo_Struct TypeInfo_5_5 = jmercury.runtime.TypeInfo_Struct.maybe_new(contravariance_bug.MR_scalar_common_1[0]);
                                                                    ^
Mercury/javas/jmercury/contravariance_bug.java:273: error: package list does not exist 
    list.List_1 Cast_HeadVar1_3 = HeadVar__1_1;
        ^
Mercury/javas/jmercury/contravariance_bug.java:274: error: package list does not exist 
    list.List_1 Cast_HeadVar2_4 = HeadVar__2_2;
        ^
Mercury/javas/jmercury/contravariance_bug.java:277: error: cannot find symbol 
      succeeded = builtin.unify_2_p_0(TypeInfo_5_5, ((java.lang.Object) (Cast_HeadVar1_3)), ((java.lang.Object) (Cast_HeadVar2_4)));
                  ^
  symbol:   variable builtin
  location: class contravariance_bug
Mercury/javas/jmercury/contravariance_bug.java:290: error: package list does not exist 
      succeeded = contravariance_bug.__Unify____intlist_0_0(((list.List_1) wrapper_arg_1), ((list.List_1) wrapper_arg_2));
                                                                  ^
Mercury/javas/jmercury/contravariance_bug.java:290: error: package list does not exist 
      succeeded = contravariance_bug.__Unify____intlist_0_0(((list.List_1) wrapper_arg_1), ((list.List_1) wrapper_arg_2));
                                                                                                 ^
Mercury/javas/jmercury/contravariance_bug.java:335: error: package jmercury.runtime does not exist 
          throw new jmercury.runtime.UnreachableDefault();
                                    ^
92 errors
make[3]: *** [/tmp/mmake.2rtZmg:2362: contravariance_bug] Error 1
make[3]: Target 'contravariance_bug.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-10-13/tests/hard_coded'