MERCURY_OPTIONS= make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-11-14/tests/valid' { echo MCFLAGS += '--grade java --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-11-14/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-11-14/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-11-14/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-11-14/stage2/scripts/mmc --make --options-file - higher_order_3.depend make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-11-14/tests/valid' make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-11-14/tests/valid' { echo MCFLAGS += '--grade java --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-11-14/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-11-14/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-11-14/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-11-14/stage2/scripts/mmc --make --options-file - higher_order_3.class Making Mercury/int3s/higher_order_3.int3 Making Mercury/ints/higher_order_3.int Making Mercury/javas/jmercury/higher_order_3.java higher_order_3.m:010: Warning: unresolved polymorphism in predicate `bar'/0. higher_order_3.m:010: The variables with unbound types were: higher_order_3.m:010: `LambdaHeadVar__1': list.list(T), higher_order_3.m:010: `V_2':  T, higher_order_3.m:010: `V_3':  list.list(T), higher_order_3.m:010: `V_4':  (pred list.list(T)), higher_order_3.m:010: `V_5':  list.list(T), higher_order_3.m:010: `X':  list.list(T). higher_order_3.m:010: The unbound type variable `T' will be implicitly bound higher_order_3.m:010: to the builtin type `void'. For more information, recompile with `-E'. Making Mercury/classes/jmercury/higher_order_3.class Mercury/javas/jmercury/higher_order_3.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_void_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/higher_order_3.java:32: 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/higher_order_3.java:35: 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/higher_order_3.java:68: error: package list does not exist list.List_1 LambdaHeadVar__1_6) ^ Mercury/javas/jmercury/higher_order_3.java:108: error: package jmercury.runtime does not exist implements jmercury.runtime.MethodPtr2 ^ Mercury/javas/jmercury/higher_order_3.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_void_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/higher_order_3.java:20: error: cannot find symbol list.list__type_ctor_info_list_1, ^ symbol: variable list location: class higher_order_3 Mercury/javas/jmercury/higher_order_3.java:22: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_void_0 ^ Mercury/javas/jmercury/higher_order_3.java:22: error: cannot find symbol (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_void_0 ^ symbol: variable builtin location: class higher_order_3 Mercury/javas/jmercury/higher_order_3.java:32: 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/higher_order_3.java:35: 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/higher_order_3.java:39: error: package jmercury.runtime does not exist new jmercury.runtime.TypeInfo_Struct( ^ Mercury/javas/jmercury/higher_order_3.java:40: 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 higher_order_3 Mercury/javas/jmercury/higher_order_3.java:40: 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/higher_order_3.java:41: error: cannot find symbol ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_void_0))) ^ symbol: variable builtin location: class higher_order_3 Mercury/javas/jmercury/higher_order_3.java:41: error: package jmercury.runtime does not exist ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_void_0))) ^ Mercury/javas/jmercury/higher_order_3.java:57: error: package list.List_1 does not exist new list.List_1.F_nil_0(); ^ Mercury/javas/jmercury/higher_order_3.java:83: error: package list does not exist list.List_1 Var_5 = (list.List_1) higher_order_3.MR_scalar_common_4[0]; ^ Mercury/javas/jmercury/higher_order_3.java:83: error: package list does not exist list.List_1 Var_5 = (list.List_1) higher_order_3.MR_scalar_common_4[0]; ^ Mercury/javas/jmercury/higher_order_3.java:84: error: package jmercury.runtime does not exist jmercury.runtime.MethodPtr func_0 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) Var_4)[1]); ^ Mercury/javas/jmercury/higher_order_3.java:84: error: package jmercury.runtime does not exist jmercury.runtime.MethodPtr func_0 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) Var_4)[1]); ^ Mercury/javas/jmercury/higher_order_3.java:87: error: package jmercury.runtime does not exist succeeded = ((java.lang.Boolean) ((jmercury.runtime.MethodPtr2) func_0).call___0_0(((java.lang.Object) (((/* generic_type */ java.lang.Object) Var_4))), ((java.lang.Object) (((java.lang.Object) (Var_5)))))).booleanValue(); ^ Mercury/javas/jmercury/higher_order_3.java:101: error: package list does not exist succeeded = higher_order_3.IntroducedFrom__pred__bar__16__1_1_p_0(((list.List_1) wrapper_arg_1)); ^ 23 errors ** Error making `Mercury/classes/jmercury/higher_order_3.class'. make[3]: *** [/tmp/mmake.oWmB53:1497: higher_order_3.class] Error 1 make[3]: Target 'higher_order_3.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-11-14/tests/valid' ERROR OUTPUT higher_order_3.m:010: Warning: unresolved polymorphism in predicate `bar'/0. higher_order_3.m:010: The variables with unbound types were: higher_order_3.m:010: `LambdaHeadVar__1': list.list(T), higher_order_3.m:010: `V_2':  T, higher_order_3.m:010: `V_3':  list.list(T), higher_order_3.m:010: `V_4':  (pred list.list(T)), higher_order_3.m:010: `V_5':  list.list(T), higher_order_3.m:010: `X':  list.list(T). higher_order_3.m:010: The unbound type variable `T' will be implicitly bound higher_order_3.m:010: to the builtin type `void'. For more information, recompile with `-E'. END OF THE ERROR OUTPUT