MERCURY_OPTIONS= make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/valid' { 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 - lambda_switch.depend make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/valid' make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/valid' { 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 - lambda_switch.class Making Mercury/int3s/lambda_switch.int3 Making Mercury/ints/lambda_switch.int Making Mercury/javas/jmercury/lambda_switch.java Making Mercury/classes/jmercury/lambda_switch.class Mercury/javas/jmercury/lambda_switch.java:15: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct __vpti_func_2__pseudo_1__plain_builtin__type_ctor_info_int_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/lambda_switch.java:16: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct maybe__pti_maybe_1__plain_builtin__type_ctor_info_int_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/lambda_switch.java:17: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct __vpti_func_3__pseudo_2__pseudo_1__pseudo_2 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/lambda_switch.java:18: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] lambda_switch__field_types_agg_func_2_0 = new jmercury.runtime.PseudoTypeInfo[2]; ^ Mercury/javas/jmercury/lambda_switch.java:19: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc lambda_switch__du_functor_desc_agg_func_2_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/lambda_switch.java:20: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] lambda_switch__du_stag_ordered_agg_func_2_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/lambda_switch.java:21: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] lambda_switch__du_ptag_ordered_agg_func_2 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/lambda_switch.java:22: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] lambda_switch__du_name_ordered_agg_func_2 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/lambda_switch.java:24: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct lambda_switch__type_ctor_info_agg_func_2 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/lambda_switch.java:110: error: package maybe.Maybe_1 does not exist private static final maybe.Maybe_1.No_0[] MR_scalar_common_1 = new maybe.Maybe_1.No_0[1]; ^ Mercury/javas/jmercury/lambda_switch.java:143: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_T_16, ^ Mercury/javas/jmercury/lambda_switch.java:145: error: package maybe does not exist maybe.Maybe_1 LambdaHeadVar__1_11, ^ Mercury/javas/jmercury/lambda_switch.java:141: error: package maybe does not exist private static maybe.Maybe_1 ^ Mercury/javas/jmercury/lambda_switch.java:183: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_T_16, ^ Mercury/javas/jmercury/lambda_switch.java:392: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/lambda_switch.java:227: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_T_11, ^ Mercury/javas/jmercury/lambda_switch.java:228: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_S_12, ^ Mercury/javas/jmercury/lambda_switch.java:225: error: package builtin does not exist public static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/lambda_switch.java:281: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_T_9, ^ Mercury/javas/jmercury/lambda_switch.java:282: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_S_10, ^ Mercury/javas/jmercury/lambda_switch.java:328: error: package jmercury.runtime does not exist implements jmercury.runtime.MethodPtr3 ^ Mercury/javas/jmercury/lambda_switch.java:348: error: package jmercury.runtime does not exist implements jmercury.runtime.MethodPtr4 ^ Mercury/javas/jmercury/lambda_switch.java:15: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct __vpti_func_2__pseudo_1__plain_builtin__type_ctor_info_int_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/lambda_switch.java:16: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct maybe__pti_maybe_1__plain_builtin__type_ctor_info_int_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/lambda_switch.java:17: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct __vpti_func_3__pseudo_2__pseudo_1__pseudo_2 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/lambda_switch.java:18: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] lambda_switch__field_types_agg_func_2_0 = new jmercury.runtime.PseudoTypeInfo[2]; ^ Mercury/javas/jmercury/lambda_switch.java:19: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc lambda_switch__du_functor_desc_agg_func_2_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/lambda_switch.java:20: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] lambda_switch__du_stag_ordered_agg_func_2_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/lambda_switch.java:21: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] lambda_switch__du_ptag_ordered_agg_func_2 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/lambda_switch.java:22: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] lambda_switch__du_name_ordered_agg_func_2 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/lambda_switch.java:24: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct lambda_switch__type_ctor_info_agg_func_2 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/lambda_switch.java:29: error: cannot find symbol builtin.builtin__type_ctor_info_func_0, ^ symbol: variable builtin location: class lambda_switch Mercury/javas/jmercury/lambda_switch.java:31: error: package jmercury.runtime does not exist jmercury.runtime.PseudoTypeInfo.K1, ^ Mercury/javas/jmercury/lambda_switch.java:32: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0 ^ Mercury/javas/jmercury/lambda_switch.java:32: error: cannot find symbol (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0 ^ symbol: variable builtin location: class lambda_switch Mercury/javas/jmercury/lambda_switch.java:36: error: cannot find symbol maybe.maybe__type_ctor_info_maybe_1, ^ symbol: variable maybe location: class lambda_switch Mercury/javas/jmercury/lambda_switch.java:38: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0 ^ Mercury/javas/jmercury/lambda_switch.java:38: error: cannot find symbol (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0 ^ symbol: variable builtin location: class lambda_switch Mercury/javas/jmercury/lambda_switch.java:42: error: cannot find symbol builtin.builtin__type_ctor_info_func_0, ^ symbol: variable builtin location: class lambda_switch Mercury/javas/jmercury/lambda_switch.java:44: error: package jmercury.runtime does not exist jmercury.runtime.PseudoTypeInfo.K2, ^ Mercury/javas/jmercury/lambda_switch.java:45: error: package jmercury.runtime does not exist jmercury.runtime.PseudoTypeInfo.K1, ^ Mercury/javas/jmercury/lambda_switch.java:46: error: package jmercury.runtime does not exist jmercury.runtime.PseudoTypeInfo.K2 ^ Mercury/javas/jmercury/lambda_switch.java:50: error: package jmercury.runtime does not exist jmercury.runtime.PseudoTypeInfo.K2; ^ Mercury/javas/jmercury/lambda_switch.java:52: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) lambda_switch.__vpti_func_3__pseudo_2__pseudo_1__pseudo_2; ^ Mercury/javas/jmercury/lambda_switch.java:57: error: cannot find symbol private_builtin.MR_SECTAG_NONE, ^ symbol: variable private_builtin location: class lambda_switch Mercury/javas/jmercury/lambda_switch.java:65: error: cannot find symbol private_builtin.MR_FUNCTOR_SUBTYPE_NONE, ^ symbol: variable private_builtin location: class lambda_switch Mercury/javas/jmercury/lambda_switch.java:71: error: package jmercury.runtime does not exist new jmercury.runtime.DuPtagLayout( ^ Mercury/javas/jmercury/lambda_switch.java:73: error: cannot find symbol private_builtin.MR_SECTAG_NONE, ^ symbol: variable private_builtin location: class lambda_switch Mercury/javas/jmercury/lambda_switch.java:87: error: package jmercury.runtime does not exist jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_DU, ^ Mercury/javas/jmercury/lambda_switch.java:92: error: package jmercury.runtime does not exist new jmercury.runtime.TypeFunctors( ^ Mercury/javas/jmercury/lambda_switch.java:95: error: package jmercury.runtime does not exist new jmercury.runtime.TypeLayout( ^ Mercury/javas/jmercury/lambda_switch.java:110: error: package maybe.Maybe_1 does not exist private static final maybe.Maybe_1.No_0[] MR_scalar_common_1 = new maybe.Maybe_1.No_0[1]; ^ Mercury/javas/jmercury/lambda_switch.java:116: error: package maybe.Maybe_1 does not exist new maybe.Maybe_1.No_0(); ^ Mercury/javas/jmercury/lambda_switch.java:127: error: cannot find symbol ((java.lang.Object) (private_builtin.private_builtin__type_ctor_info_type_info_0)), ^ symbol: variable private_builtin location: class lambda_switch Mercury/javas/jmercury/lambda_switch.java:127: error: illegal start of type ((java.lang.Object) (private_builtin.private_builtin__type_ctor_info_type_info_0)), ^ Mercury/javas/jmercury/lambda_switch.java:149: error: package maybe does not exist maybe.Maybe_1 LambdaHeadVar__3_13 = null; ^ Mercury/javas/jmercury/lambda_switch.java:151: error: package jmercury.runtime does not exist jmercury.runtime.MethodPtr func_0 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) F_3)[1]); ^ Mercury/javas/jmercury/lambda_switch.java:151: error: package jmercury.runtime does not exist jmercury.runtime.MethodPtr func_0 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) F_3)[1]); ^ Mercury/javas/jmercury/lambda_switch.java:155: error: package jmercury.runtime does not exist conv1_Val_8 = ((java.lang.Object) ((jmercury.runtime.MethodPtr2) func_0).call___0_0(((java.lang.Object) (((/* generic_type */ java.lang.Object) F_3))), ((java.lang.Object) (LambdaHeadVar__2_12)))); ^ Mercury/javas/jmercury/lambda_switch.java:160: error: package maybe.Maybe_1 does not exist LambdaHeadVar__3_13 = new maybe.Maybe_1.Yes_1( ^ Mercury/javas/jmercury/lambda_switch.java:166: error: package maybe.Maybe_1 does not exist int Acc1_9 = ((java.lang.Integer) (((maybe.Maybe_1.Yes_1) LambdaHeadVar__1_11).F1)).intValue(); ^ Mercury/javas/jmercury/lambda_switch.java:166: error: illegal start of type int Acc1_9 = ((java.lang.Integer) (((maybe.Maybe_1.Yes_1) LambdaHeadVar__1_11).F1)).intValue(); ^ Mercury/javas/jmercury/lambda_switch.java:173: error: package maybe.Maybe_1 does not exist LambdaHeadVar__3_13 = new maybe.Maybe_1.Yes_1( ^ Mercury/javas/jmercury/lambda_switch.java:188: error: package maybe does not exist maybe.Maybe_1 Var_10 = (maybe.Maybe_1) lambda_switch.MR_scalar_common_1[0]; ^ Mercury/javas/jmercury/lambda_switch.java:188: error: package maybe does not exist maybe.Maybe_1 Var_10 = (maybe.Maybe_1) lambda_switch.MR_scalar_common_1[0]; ^ Mercury/javas/jmercury/lambda_switch.java:216: error: package maybe does not exist maybe.Maybe_1 conv0_LambdaHeadVar__3_13 = null; ^ Mercury/javas/jmercury/lambda_switch.java:219: error: package jmercury.runtime does not exist conv0_LambdaHeadVar__3_13 = lambda_switch.IntroducedFrom__func__min__29__1_4_f_0(((jmercury.runtime.TypeInfo_Struct) ((java.lang.Object[]) closure)[3]), ((/* closure */ java.lang.Object[]) ((java.lang.Object[]) closure)[4]), ((maybe.Maybe_1) wrapper_arg_1), wrapper_arg_2); ^ Mercury/javas/jmercury/lambda_switch.java:219: error: package maybe does not exist conv0_LambdaHeadVar__3_13 = lambda_switch.IntroducedFrom__func__min__29__1_4_f_0(((jmercury.runtime.TypeInfo_Struct) ((java.lang.Object[]) closure)[3]), ((/* closure */ java.lang.Object[]) ((java.lang.Object[]) closure)[4]), ((maybe.Maybe_1) wrapper_arg_1), wrapper_arg_2); ^ Mercury/javas/jmercury/lambda_switch.java:233: error: package builtin does not exist builtin.Comparison_result_0 HeadVar__1_1 = null; ^ Mercury/javas/jmercury/lambda_switch.java:239: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K0; ^ Mercury/javas/jmercury/lambda_switch.java:246: error: package builtin does not exist builtin.Comparison_result_0 SubResult1_6 = null; ^ Mercury/javas/jmercury/lambda_switch.java:249: error: cannot find symbol SubResult1_6 = builtin.compare_3_p_0(TypeInfo_for_S_12, ArgX1_4, ArgY1_5); ^ symbol: variable builtin location: class lambda_switch Mercury/javas/jmercury/lambda_switch.java:251: error: package builtin.Comparison_result_0 does not exist succeeded = (SubResult1_6.MR_value != builtin.Comparison_result_0.K0.MR_value); ^ Mercury/javas/jmercury/lambda_switch.java:256: error: cannot find symbol HeadVar__1_1 = private_builtin.builtin_compare_pred_3_p_0((/* closure */ java.lang.Object[]) ArgX2_7, (/* closure */ java.lang.Object[]) ArgY2_8); ^ symbol: variable private_builtin location: class lambda_switch Mercury/javas/jmercury/lambda_switch.java:270: error: package builtin does not exist builtin.Comparison_result_0 conv0_HeadVar__1_1 = null; ^ Mercury/javas/jmercury/lambda_switch.java:273: error: package jmercury.runtime does not exist conv0_HeadVar__1_1 = lambda_switch.__Compare____agg_func_2_0(((jmercury.runtime.TypeInfo_Struct) wrapper_arg_1), ((jmercury.runtime.TypeInfo_Struct) wrapper_arg_2), ((lambda_switch.Agg_func_2) wrapper_arg_4), ((lambda_switch.Agg_func_2) wrapper_arg_5)); ^ Mercury/javas/jmercury/lambda_switch.java:273: error: package jmercury.runtime does not exist conv0_HeadVar__1_1 = lambda_switch.__Compare____agg_func_2_0(((jmercury.runtime.TypeInfo_Struct) wrapper_arg_1), ((jmercury.runtime.TypeInfo_Struct) wrapper_arg_2), ((lambda_switch.Agg_func_2) wrapper_arg_4), ((lambda_switch.Agg_func_2) wrapper_arg_5)); ^ Mercury/javas/jmercury/lambda_switch.java:301: error: cannot find symbol succeeded = builtin.unify_2_p_0(TypeInfo_for_S_10, ArgX1_3, ArgY1_4); ^ symbol: variable builtin location: class lambda_switch Mercury/javas/jmercury/lambda_switch.java:305: error: cannot find symbol succeeded = private_builtin.builtin_unify_pred_2_p_0((/* closure */ java.lang.Object[]) ArgX2_5, (/* closure */ java.lang.Object[]) ArgY2_6); ^ symbol: variable private_builtin location: class lambda_switch Mercury/javas/jmercury/lambda_switch.java:321: error: package jmercury.runtime does not exist succeeded = lambda_switch.__Unify____agg_func_2_0(((jmercury.runtime.TypeInfo_Struct) wrapper_arg_1), ((jmercury.runtime.TypeInfo_Struct) wrapper_arg_2), ((lambda_switch.Agg_func_2) wrapper_arg_3), ((lambda_switch.Agg_func_2) wrapper_arg_4)); ^ Mercury/javas/jmercury/lambda_switch.java:321: error: package jmercury.runtime does not exist succeeded = lambda_switch.__Unify____agg_func_2_0(((jmercury.runtime.TypeInfo_Struct) wrapper_arg_1), ((jmercury.runtime.TypeInfo_Struct) wrapper_arg_2), ((lambda_switch.Agg_func_2) wrapper_arg_3), ((lambda_switch.Agg_func_2) wrapper_arg_4)); ^ Mercury/javas/jmercury/lambda_switch.java:379: error: package jmercury.runtime does not exist throw new jmercury.runtime.UnreachableDefault(); ^ Note: Mercury/javas/jmercury/lambda_switch.java uses unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. 82 errors ** Error making `Mercury/classes/jmercury/lambda_switch.class'. make[3]: *** [/tmp/mmake.CHA9zg:1500: lambda_switch.class] Error 1 make[3]: Target 'lambda_switch.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/valid'