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_quant_bug.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_quant_bug.class Making Mercury/int3s/lambda_quant_bug.int3 Making Mercury/ints/lambda_quant_bug.int Making Mercury/javas/jmercury/lambda_quant_bug.java Making Mercury/classes/jmercury/lambda_quant_bug.class Mercury/javas/jmercury/lambda_quant_bug.java:15: 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/lambda_quant_bug.java:16: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] lambda_quant_bug__field_types_cl_result_0_0 = new jmercury.runtime.PseudoTypeInfo[1]; ^ Mercury/javas/jmercury/lambda_quant_bug.java:17: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc lambda_quant_bug__du_functor_desc_cl_result_0_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/lambda_quant_bug.java:18: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] lambda_quant_bug__field_types_cl_result_0_1 = new jmercury.runtime.PseudoTypeInfo[1]; ^ Mercury/javas/jmercury/lambda_quant_bug.java:19: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc lambda_quant_bug__du_functor_desc_cl_result_0_1 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/lambda_quant_bug.java:20: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] lambda_quant_bug__du_stag_ordered_cl_result_0_0 = new jmercury.runtime.DuFunctorDesc[2]; ^ Mercury/javas/jmercury/lambda_quant_bug.java:21: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] lambda_quant_bug__du_ptag_ordered_cl_result_0 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/lambda_quant_bug.java:22: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] lambda_quant_bug__du_name_ordered_cl_result_0 = new jmercury.runtime.DuFunctorDesc[2]; ^ Mercury/javas/jmercury/lambda_quant_bug.java:24: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct lambda_quant_bug__type_ctor_info_cl_result_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/lambda_quant_bug.java:529: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/lambda_quant_bug.java:119: 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/lambda_quant_bug.java:175: error: package list does not exist list.List_1 HeadVar__1_6, ^ Mercury/javas/jmercury/lambda_quant_bug.java:185: error: package bool does not exist bool.Bool_0 MProj_5) ^ Mercury/javas/jmercury/lambda_quant_bug.java:322: error: package builtin does not exist public static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/lambda_quant_bug.java:449: error: package jmercury.runtime does not exist implements jmercury.runtime.MethodPtr2 ^ Mercury/javas/jmercury/lambda_quant_bug.java:509: error: package jmercury.runtime does not exist implements jmercury.runtime.MethodPtr3 ^ Mercury/javas/jmercury/lambda_quant_bug.java:15: 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/lambda_quant_bug.java:16: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] lambda_quant_bug__field_types_cl_result_0_0 = new jmercury.runtime.PseudoTypeInfo[1]; ^ Mercury/javas/jmercury/lambda_quant_bug.java:17: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc lambda_quant_bug__du_functor_desc_cl_result_0_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/lambda_quant_bug.java:18: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] lambda_quant_bug__field_types_cl_result_0_1 = new jmercury.runtime.PseudoTypeInfo[1]; ^ Mercury/javas/jmercury/lambda_quant_bug.java:19: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc lambda_quant_bug__du_functor_desc_cl_result_0_1 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/lambda_quant_bug.java:20: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] lambda_quant_bug__du_stag_ordered_cl_result_0_0 = new jmercury.runtime.DuFunctorDesc[2]; ^ Mercury/javas/jmercury/lambda_quant_bug.java:21: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] lambda_quant_bug__du_ptag_ordered_cl_result_0 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/lambda_quant_bug.java:22: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] lambda_quant_bug__du_name_ordered_cl_result_0 = new jmercury.runtime.DuFunctorDesc[2]; ^ Mercury/javas/jmercury/lambda_quant_bug.java:24: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct lambda_quant_bug__type_ctor_info_cl_result_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/lambda_quant_bug.java:29: error: cannot find symbol list.list__type_ctor_info_list_1, ^ symbol: variable list location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:31: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0 ^ Mercury/javas/jmercury/lambda_quant_bug.java:31: error: cannot find symbol (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0 ^ symbol: variable builtin location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:35: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0; ^ Mercury/javas/jmercury/lambda_quant_bug.java:35: error: cannot find symbol (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0; ^ symbol: variable builtin location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:40: error: cannot find symbol private_builtin.MR_SECTAG_REMOTE_FULL_WORD, ^ symbol: variable private_builtin location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:48: error: cannot find symbol private_builtin.MR_FUNCTOR_SUBTYPE_NONE, ^ symbol: variable private_builtin location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:52: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0; ^ Mercury/javas/jmercury/lambda_quant_bug.java:52: error: cannot find symbol (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0; ^ symbol: variable builtin location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:57: error: cannot find symbol private_builtin.MR_SECTAG_REMOTE_FULL_WORD, ^ symbol: variable private_builtin location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:65: error: cannot find symbol private_builtin.MR_FUNCTOR_SUBTYPE_NONE, ^ symbol: variable private_builtin location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:73: error: package jmercury.runtime does not exist new jmercury.runtime.DuPtagLayout( ^ Mercury/javas/jmercury/lambda_quant_bug.java:75: error: cannot find symbol private_builtin.MR_SECTAG_REMOTE_FULL_WORD, ^ symbol: variable private_builtin location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:93: error: package jmercury.runtime does not exist jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_DU, ^ Mercury/javas/jmercury/lambda_quant_bug.java:98: error: package jmercury.runtime does not exist new jmercury.runtime.TypeFunctors( ^ Mercury/javas/jmercury/lambda_quant_bug.java:101: error: package jmercury.runtime does not exist new jmercury.runtime.TypeLayout( ^ Mercury/javas/jmercury/lambda_quant_bug.java:119: 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/lambda_quant_bug.java:133: error: cannot find symbol ((java.lang.Object) (builtin.builtin__type_ctor_info_int_0)), ^ symbol: variable builtin location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:133: error: illegal start of type ((java.lang.Object) (builtin.builtin__type_ctor_info_int_0)), ^ Mercury/javas/jmercury/lambda_quant_bug.java:134: error: cannot find symbol ((java.lang.Object) (builtin.builtin__type_ctor_info_int_0)) ^ symbol: variable builtin location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:134: error: illegal start of type ((java.lang.Object) (builtin.builtin__type_ctor_info_int_0)) ^ Mercury/javas/jmercury/lambda_quant_bug.java:149: error: package list.List_1 does not exist new list.List_1.F_nil_0(); ^ Mercury/javas/jmercury/lambda_quant_bug.java:156: error: cannot find symbol ((java.lang.Object) (builtin.builtin__type_ctor_info_int_0)), ^ symbol: variable builtin location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:156: error: illegal start of type ((java.lang.Object) (builtin.builtin__type_ctor_info_int_0)), ^ Mercury/javas/jmercury/lambda_quant_bug.java:157: error: cannot find symbol ((java.lang.Object) (builtin.builtin__type_ctor_info_int_0)), ^ symbol: variable builtin location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:157: error: illegal start of type ((java.lang.Object) (builtin.builtin__type_ctor_info_int_0)), ^ Mercury/javas/jmercury/lambda_quant_bug.java:158: error: cannot find symbol ((java.lang.Object) (io.io__type_ctor_info_state_0)), ^ symbol: variable io location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:158: error: illegal start of type ((java.lang.Object) (io.io__type_ctor_info_state_0)), ^ Mercury/javas/jmercury/lambda_quant_bug.java:159: error: cannot find symbol ((java.lang.Object) (io.io__type_ctor_info_state_0)) ^ symbol: variable io location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:159: error: illegal start of type ((java.lang.Object) (io.io__type_ctor_info_state_0)) ^ Mercury/javas/jmercury/lambda_quant_bug.java:197: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_33_33 = null; ^ Mercury/javas/jmercury/lambda_quant_bug.java:198: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_34_34 = null; ^ Mercury/javas/jmercury/lambda_quant_bug.java:199: error: package list does not exist list.List_1 Proj_10 = null; ^ Mercury/javas/jmercury/lambda_quant_bug.java:201: error: package list does not exist list.List_1 Var_20 = null; ^ Mercury/javas/jmercury/lambda_quant_bug.java:202: error: package list does not exist list.List_1 Var_11 = null; ^ Mercury/javas/jmercury/lambda_quant_bug.java:205: error: illegal start of type switch (MProj_5.MR_value) { ^ Mercury/javas/jmercury/lambda_quant_bug.java:208: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_28_28 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0); ^ Mercury/javas/jmercury/lambda_quant_bug.java:208: error: cannot find symbol jmercury.runtime.TypeInfo_Struct TypeCtorInfo_28_28 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0); ^ symbol: variable builtin location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:208: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_28_28 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0); ^ Mercury/javas/jmercury/lambda_quant_bug.java:210: error: package list does not exist list.List_1 Var_18 = (list.List_1) lambda_quant_bug.MR_scalar_common_4[0]; ^ Mercury/javas/jmercury/lambda_quant_bug.java:210: error: package list does not exist list.List_1 Var_18 = (list.List_1) lambda_quant_bug.MR_scalar_common_4[0]; ^ Mercury/javas/jmercury/lambda_quant_bug.java:213: error: cannot find symbol Proj_10 = list.map_3_p_0(TypeCtorInfo_28_28, TypeCtorInfo_28_28, Var_17, Var_18); ^ symbol: variable list location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:219: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_25_25 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0); ^ Mercury/javas/jmercury/lambda_quant_bug.java:219: error: cannot find symbol jmercury.runtime.TypeInfo_Struct TypeCtorInfo_25_25 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0); ^ symbol: variable builtin location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:219: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_25_25 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0); ^ Mercury/javas/jmercury/lambda_quant_bug.java:221: error: package list does not exist list.List_1 Var_16 = (list.List_1) lambda_quant_bug.MR_scalar_common_4[0]; ^ Mercury/javas/jmercury/lambda_quant_bug.java:221: error: package list does not exist list.List_1 Var_16 = (list.List_1) lambda_quant_bug.MR_scalar_common_4[0]; ^ Mercury/javas/jmercury/lambda_quant_bug.java:224: error: cannot find symbol Proj_10 = list.map_3_p_0(TypeCtorInfo_25_25, TypeCtorInfo_25_25, Var_15, Var_16); ^ symbol: variable list location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:229: error: package jmercury.runtime does not exist throw new jmercury.runtime.UnreachableDefault(); ^ Mercury/javas/jmercury/lambda_quant_bug.java:239: error: package list does not exist Var_20 = (list.List_1) lambda_quant_bug.MR_scalar_common_4[0]; ^ Mercury/javas/jmercury/lambda_quant_bug.java:240: error: cannot find symbol TypeCtorInfo_33_33 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0); ^ symbol: variable builtin location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:240: error: package jmercury.runtime does not exist TypeCtorInfo_33_33 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0); ^ Mercury/javas/jmercury/lambda_quant_bug.java:241: error: cannot find symbol TypeCtorInfo_34_34 = jmercury.runtime.TypeInfo_Struct.maybe_new(io.io__type_ctor_info_state_0); ^ symbol: variable io location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:241: error: package jmercury.runtime does not exist TypeCtorInfo_34_34 = jmercury.runtime.TypeInfo_Struct.maybe_new(io.io__type_ctor_info_state_0); ^ Mercury/javas/jmercury/lambda_quant_bug.java:243: error: cannot find symbol java.lang.Object [] result = list.map_foldl_5_p_2(TypeCtorInfo_33_33, TypeCtorInfo_33_33, TypeCtorInfo_34_34, Var_19, Var_20, ((java.lang.Object) (0))); ^ symbol: variable list location: class lambda_quant_bug Mercury/javas/jmercury/lambda_quant_bug.java:244: error: package list does not exist Var_11 = (list.List_1) result[0]; ^ Mercury/javas/jmercury/lambda_quant_bug.java:296: error: package list does not exist conv2_HeadVar__3_3 = lambda_quant_bug.adjust_tuple_5_p_0(((list.List_1) ((java.lang.Object[]) closure)[3]), ((java.lang.Integer) wrapper_arg_1).intValue()); ^ Mercury/javas/jmercury/lambda_quant_bug.java:328: error: package builtin does not exist builtin.Comparison_result_0 HeadVar__1_1 = null; ^ Mercury/javas/jmercury/lambda_quant_bug.java:334: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K0; ^ Mercury/javas/jmercury/lambda_quant_bug.java:344: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K1; ^ Mercury/javas/jmercury/lambda_quant_bug.java:349: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K2; ^ Mercury/javas/jmercury/lambda_quant_bug.java:351: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K0; ^ Mercury/javas/jmercury/lambda_quant_bug.java:355: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K2; ^ Mercury/javas/jmercury/lambda_quant_bug.java:358: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K1; ^ Mercury/javas/jmercury/lambda_quant_bug.java:366: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K1; ^ Mercury/javas/jmercury/lambda_quant_bug.java:371: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K2; ^ Mercury/javas/jmercury/lambda_quant_bug.java:373: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K0; ^ Mercury/javas/jmercury/lambda_quant_bug.java:385: error: package builtin does not exist builtin.Comparison_result_0 conv0_HeadVar__1_1 = null; ^ Mercury/javas/jmercury/lambda_quant_bug.java:496: error: package jmercury.runtime does not exist throw new jmercury.runtime.UnreachableDefault(); ^ 94 errors ** Error making `Mercury/classes/jmercury/lambda_quant_bug.class'. make[3]: *** [/tmp/mmake.eckVOY:1500: lambda_quant_bug.class] Error 1 make[3]: Target 'lambda_quant_bug.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/valid'