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 - unbound_tvar_in_lambda.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 - unbound_tvar_in_lambda.class Making Mercury/int3s/unbound_tvar_in_lambda.int3 Making Mercury/ints/unbound_tvar_in_lambda.int Making Mercury/javas/jmercury/unbound_tvar_in_lambda.java unbound_tvar_in_lambda.m:009: Warning: unresolved polymorphism in predicate unbound_tvar_in_lambda.m:009: `main'/2. unbound_tvar_in_lambda.m:009: The variables with unbound types were: unbound_tvar_in_lambda.m:009: `LambdaHeadVar__1': unbound_tvar_in_lambda.m:009: unbound_tvar_in_lambda.m:009: unbound_tvar_in_lambda.proof(unbound_tvar_in_lambda.node(int, unbound_tvar_in_lambda.m:009: T)), unbound_tvar_in_lambda.m:009: `P1':  unbound_tvar_in_lambda.m:009: unbound_tvar_in_lambda.m:009: unbound_tvar_in_lambda.proof(unbound_tvar_in_lambda.node(int, unbound_tvar_in_lambda.m:009: T)), unbound_tvar_in_lambda.m:009: `Pred':  (pred unbound_tvar_in_lambda.m:009: unbound_tvar_in_lambda.proof(unbound_tvar_in_lambda.node(int, unbound_tvar_in_lambda.m:009: T))). unbound_tvar_in_lambda.m:009: The unbound type variable `T' will be ... output log truncated, see `unbound_tvar_in_lambda.err' for the complete log. Making Mercury/classes/jmercury/unbound_tvar_in_lambda.class Mercury/javas/jmercury/unbound_tvar_in_lambda.java:32: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct unbound_tvar_in_lambda__ti_node_2builtin__type_ctor_info_int_0builtin__type_ctor_info_void_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:33: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct unbound_tvar_in_lambda__pti_proof_1__plain_unbound_tvar_in_lambda__ti_node_2builtin__type_ctor_info_int_0builtin__type_ctor_info_void_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:34: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct list__pti_list_1__pseudo_1 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:35: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] unbound_tvar_in_lambda__field_types_node_2_0 = new jmercury.runtime.PseudoTypeInfo[3]; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:36: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc unbound_tvar_in_lambda__du_functor_desc_node_2_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:37: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] unbound_tvar_in_lambda__du_stag_ordered_node_2_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:38: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] unbound_tvar_in_lambda__du_ptag_ordered_node_2 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:39: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] unbound_tvar_in_lambda__du_name_ordered_node_2 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:41: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct unbound_tvar_in_lambda__type_ctor_info_node_2 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:42: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct unbound_tvar_in_lambda__pti_node_2__pseudo_1__pseudo_2 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:43: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct unbound_tvar_in_lambda__pti_proof_1__pseudo_unbound_tvar_in_lambda__pti_node_2__pseudo_1__pseudo_2 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:44: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct unbound_tvar_in_lambda__type_ctor_info_proof_2 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:45: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct unbound_tvar_in_lambda__pti_proof_1__pseudo_1 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:46: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] unbound_tvar_in_lambda__field_types_proof_1_0 = new jmercury.runtime.PseudoTypeInfo[2]; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:47: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc unbound_tvar_in_lambda__du_functor_desc_proof_1_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:48: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc unbound_tvar_in_lambda__du_functor_desc_proof_1_1 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:49: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] unbound_tvar_in_lambda__du_stag_ordered_proof_1_0 = new jmercury.runtime.DuFunctorDesc[2]; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:50: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] unbound_tvar_in_lambda__du_ptag_ordered_proof_1 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:51: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] unbound_tvar_in_lambda__du_name_ordered_proof_1 = new jmercury.runtime.DuFunctorDesc[2]; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:53: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct unbound_tvar_in_lambda__type_ctor_info_proof_1 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:254: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct[] MR_scalar_common_1 = new jmercury.runtime.TypeInfo_Struct[3]; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:257: 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/unbound_tvar_in_lambda.java:1003: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:259: error: package list.List_1 does not exist private static final list.List_1.F_cons_2[] MR_scalar_common_6 = new list.List_1.F_cons_2[7]; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:340: error: package jmercury.runtime does not exist jmercury.runtime.MethodPtr cont, ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:362: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_S_18, ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:363: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_T_19, ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:364: error: package list does not exist list.List_1 HeadVar__1_1, ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:365: error: package list does not exist list.List_1 Bs_2) ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:482: error: package jmercury.runtime does not exist jmercury.runtime.MethodPtr cont, ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:505: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_S_14, ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:506: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_T_15, ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:980: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:503: error: package builtin does not exist private static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:572: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_N_11, ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:570: error: package builtin does not exist private static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:643: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_S_6, ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:644: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_T_7, ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:641: error: package builtin does not exist private static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:686: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_S_11, ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:687: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_T_12, ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:741: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_N_9, ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:806: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_S_5, ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:807: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_T_6, ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:982: error: package list does not exist public list.List_1 F1; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:983: error: package list does not exist public list.List_1 F2; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:984: error: package list does not exist public list.List_1 F3; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:992: error: package list does not exist list.List_1 F1, ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:993: error: package list does not exist list.List_1 F2, ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:994: error: package list does not exist list.List_1 F3) ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:847: error: package jmercury.runtime does not exist implements jmercury.runtime.MethodPtr2 ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:866: error: package jmercury.runtime does not exist implements jmercury.runtime.MethodPtr3 ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:918: error: package jmercury.runtime does not exist implements jmercury.runtime.MethodPtr4 ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:1046: error: package jmercury.runtime does not exist public jmercury.runtime.MethodPtr cont; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:15: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.progname = "unbound_tvar_in_lambda"; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:16: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.args = args; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:17: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.exit_status = 0; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:18: error: cannot find symbol library.ML_std_library_init(); ^ symbol: variable library location: class unbound_tvar_in_lambda Mercury/javas/jmercury/unbound_tvar_in_lambda.java:19: error: cannot find symbol benchmarking.ML_initialise(); ^ symbol: variable benchmarking location: class unbound_tvar_in_lambda Mercury/javas/jmercury/unbound_tvar_in_lambda.java:25: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.runMain(run_main); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:26: error: cannot find symbol io.flush_output_3_p_0(io.stdout_stream_0_f_0()); ^ symbol: variable io location: class unbound_tvar_in_lambda Mercury/javas/jmercury/unbound_tvar_in_lambda.java:26: error: cannot find symbol io.flush_output_3_p_0(io.stdout_stream_0_f_0()); ^ symbol: variable io location: class unbound_tvar_in_lambda Mercury/javas/jmercury/unbound_tvar_in_lambda.java:27: error: cannot find symbol io.flush_output_3_p_0(io.stderr_stream_0_f_0()); ^ symbol: variable io location: class unbound_tvar_in_lambda Mercury/javas/jmercury/unbound_tvar_in_lambda.java:27: error: cannot find symbol io.flush_output_3_p_0(io.stderr_stream_0_f_0()); ^ symbol: variable io location: class unbound_tvar_in_lambda Mercury/javas/jmercury/unbound_tvar_in_lambda.java:28: error: package jmercury.runtime does not exist java.lang.System.exit(jmercury.runtime.JavaInternal.exit_status); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:32: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct unbound_tvar_in_lambda__ti_node_2builtin__type_ctor_info_int_0builtin__type_ctor_info_void_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:33: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct unbound_tvar_in_lambda__pti_proof_1__plain_unbound_tvar_in_lambda__ti_node_2builtin__type_ctor_info_int_0builtin__type_ctor_info_void_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:34: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct list__pti_list_1__pseudo_1 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:35: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] unbound_tvar_in_lambda__field_types_node_2_0 = new jmercury.runtime.PseudoTypeInfo[3]; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:36: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc unbound_tvar_in_lambda__du_functor_desc_node_2_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:37: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] unbound_tvar_in_lambda__du_stag_ordered_node_2_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:38: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] unbound_tvar_in_lambda__du_ptag_ordered_node_2 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:39: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] unbound_tvar_in_lambda__du_name_ordered_node_2 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:41: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct unbound_tvar_in_lambda__type_ctor_info_node_2 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:42: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct unbound_tvar_in_lambda__pti_node_2__pseudo_1__pseudo_2 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:43: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct unbound_tvar_in_lambda__pti_proof_1__pseudo_unbound_tvar_in_lambda__pti_node_2__pseudo_1__pseudo_2 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:44: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct unbound_tvar_in_lambda__type_ctor_info_proof_2 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:45: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct unbound_tvar_in_lambda__pti_proof_1__pseudo_1 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:46: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] unbound_tvar_in_lambda__field_types_proof_1_0 = new jmercury.runtime.PseudoTypeInfo[2]; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:47: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc unbound_tvar_in_lambda__du_functor_desc_proof_1_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:48: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc unbound_tvar_in_lambda__du_functor_desc_proof_1_1 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:49: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] unbound_tvar_in_lambda__du_stag_ordered_proof_1_0 = new jmercury.runtime.DuFunctorDesc[2]; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:50: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] unbound_tvar_in_lambda__du_ptag_ordered_proof_1 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:51: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] unbound_tvar_in_lambda__du_name_ordered_proof_1 = new jmercury.runtime.DuFunctorDesc[2]; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:53: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct unbound_tvar_in_lambda__type_ctor_info_proof_1 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:58: error: cannot find symbol list.list__type_ctor_info_list_1, ^ symbol: variable list location: class unbound_tvar_in_lambda Mercury/javas/jmercury/unbound_tvar_in_lambda.java:60: error: package jmercury.runtime does not exist jmercury.runtime.PseudoTypeInfo.K1 ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:64: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) unbound_tvar_in_lambda.list__pti_list_1__pseudo_1; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:66: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) unbound_tvar_in_lambda.list__pti_list_1__pseudo_1; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:68: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) unbound_tvar_in_lambda.list__pti_list_1__pseudo_1; ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:73: error: cannot find symbol private_builtin.MR_SECTAG_NONE, ^ symbol: variable private_builtin location: class unbound_tvar_in_lambda Mercury/javas/jmercury/unbound_tvar_in_lambda.java:81: error: cannot find symbol private_builtin.MR_FUNCTOR_SUBTYPE_NONE, ^ symbol: variable private_builtin location: class unbound_tvar_in_lambda Mercury/javas/jmercury/unbound_tvar_in_lambda.java:87: error: package jmercury.runtime does not exist new jmercury.runtime.DuPtagLayout( ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:89: error: cannot find symbol private_builtin.MR_SECTAG_NONE, ^ symbol: variable private_builtin location: class unbound_tvar_in_lambda Mercury/javas/jmercury/unbound_tvar_in_lambda.java:103: error: package jmercury.runtime does not exist jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_DU, ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:108: error: package jmercury.runtime does not exist new jmercury.runtime.TypeFunctors( ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:111: error: package jmercury.runtime does not exist new jmercury.runtime.TypeLayout( ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:122: error: cannot find symbol jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0), ^ symbol: variable builtin location: class unbound_tvar_in_lambda Mercury/javas/jmercury/unbound_tvar_in_lambda.java:122: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0), ^ Mercury/javas/jmercury/unbound_tvar_in_lambda.java:123: error: cannot find symbol jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_void_0) ^ symbol: variable builtin location: class unbound_tvar_in_lambda Note: Mercury/javas/jmercury/unbound_tvar_in_lambda.java uses unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. 100 errors ** Error making `Mercury/classes/jmercury/unbound_tvar_in_lambda.class'. make[3]: *** [/tmp/mmake.bgTHAk:1500: unbound_tvar_in_lambda.class] Error 1 make[3]: Target 'unbound_tvar_in_lambda.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/valid' ERROR OUTPUT unbound_tvar_in_lambda.m:009: Warning: unresolved polymorphism in predicate unbound_tvar_in_lambda.m:009: `main'/2. unbound_tvar_in_lambda.m:009: The variables with unbound types were: unbound_tvar_in_lambda.m:009: `LambdaHeadVar__1': unbound_tvar_in_lambda.m:009: unbound_tvar_in_lambda.m:009: unbound_tvar_in_lambda.proof(unbound_tvar_in_lambda.node(int, unbound_tvar_in_lambda.m:009: T)), unbound_tvar_in_lambda.m:009: `P1':  unbound_tvar_in_lambda.m:009: unbound_tvar_in_lambda.m:009: unbound_tvar_in_lambda.proof(unbound_tvar_in_lambda.node(int, unbound_tvar_in_lambda.m:009: T)), unbound_tvar_in_lambda.m:009: `Pred':  (pred unbound_tvar_in_lambda.m:009: unbound_tvar_in_lambda.proof(unbound_tvar_in_lambda.node(int, unbound_tvar_in_lambda.m:009: T))). unbound_tvar_in_lambda.m:009: The unbound type variable `T' will be unbound_tvar_in_lambda.m:009: implicitly bound to the builtin type `void'. For more information, recompile with `-E'. END OF THE ERROR OUTPUT