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