MERCURY_OPTIONS= make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-30/tests/hard_coded' { echo MCFLAGS += '--grade java --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-30/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs --allow-stubs --no-warn-stubs --infer-all '; echo MCFLAGS += ' '; echo CFLAGS += ' '; echo JAVACFLAGS += '-J"-Xmx1024m" '; echo CSCFLAGS += ' '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-30/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-30/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-30/stage2/scripts/mmc --make --options-file - allow_stubs.depend make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-30/tests/hard_coded' make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-30/tests/hard_coded' { echo MCFLAGS += '--grade java --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-30/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs --allow-stubs --no-warn-stubs --infer-all '; echo MCFLAGS += ' '; echo CFLAGS += ' '; echo JAVACFLAGS += '-J"-Xmx1024m" '; echo CSCFLAGS += ' '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-30/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-30/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-30/stage2/scripts/mmc --make --options-file - allow_stubs Making Mercury/int3s/allow_stubs.int3 Making Mercury/ints/allow_stubs.int Making Mercury/javas/jmercury/allow_stubs.java allow_stubs.m:025: Inferred :- pred hello(io.state, io.state). allow_stubs.m:025: Inferred :- mode hello(di, uo) is det. allow_stubs.m:036: Inferred :- pred going_today(io.state, io.state). allow_stubs.m:052: Inferred :- pred trap_exceptions(pred(io.state, io.state), allow_stubs.m:052: io.state, io.state). Making Java class files Mercury/javas/jmercury/allow_stubs.java:32: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct __vpti_pred_2__plain_io__type_ctor_info_state_0__plain_io__type_ctor_info_state_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/allow_stubs.java:33: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct __vpti_tuple_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/allow_stubs.java:273: error: package jmercury.runtime does not exist implements jmercury.runtime.MethodPtr2 ^ Mercury/javas/jmercury/allow_stubs.java:15: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.progname = "allow_stubs"; ^ Mercury/javas/jmercury/allow_stubs.java:16: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.args = args; ^ Mercury/javas/jmercury/allow_stubs.java:17: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.exit_status = 0; ^ Mercury/javas/jmercury/allow_stubs.java:18: error: cannot find symbol library.ML_std_library_init(); ^ symbol: variable library location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:19: error: cannot find symbol benchmarking.ML_initialise(); ^ symbol: variable benchmarking location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:25: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.runMain(run_main); ^ Mercury/javas/jmercury/allow_stubs.java:26: error: cannot find symbol io.flush_output_3_p_0(io.stdout_stream_0_f_0()); ^ symbol: variable io location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:26: error: cannot find symbol io.flush_output_3_p_0(io.stdout_stream_0_f_0()); ^ symbol: variable io location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:27: error: cannot find symbol io.flush_output_3_p_0(io.stderr_stream_0_f_0()); ^ symbol: variable io location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:27: error: cannot find symbol io.flush_output_3_p_0(io.stderr_stream_0_f_0()); ^ symbol: variable io location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:28: error: package jmercury.runtime does not exist java.lang.System.exit(jmercury.runtime.JavaInternal.exit_status); ^ Mercury/javas/jmercury/allow_stubs.java:32: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct __vpti_pred_2__plain_io__type_ctor_info_state_0__plain_io__type_ctor_info_state_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/allow_stubs.java:33: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct __vpti_tuple_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/allow_stubs.java:38: error: cannot find symbol builtin.builtin__type_ctor_info_pred_0, ^ symbol: variable builtin location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:40: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) io.io__type_ctor_info_state_0, ^ Mercury/javas/jmercury/allow_stubs.java:40: error: cannot find symbol (jmercury.runtime.PseudoTypeInfo) io.io__type_ctor_info_state_0, ^ symbol: variable io location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:41: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) io.io__type_ctor_info_state_0 ^ Mercury/javas/jmercury/allow_stubs.java:41: error: cannot find symbol (jmercury.runtime.PseudoTypeInfo) io.io__type_ctor_info_state_0 ^ symbol: variable io location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:45: error: cannot find symbol builtin.builtin__type_ctor_info_tuple_0, ^ symbol: variable builtin location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:68: error: cannot find symbol ((java.lang.Object) (io.io__type_ctor_info_state_0)), ^ symbol: variable io location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:68: error: illegal start of type ((java.lang.Object) (io.io__type_ctor_info_state_0)), ^ Mercury/javas/jmercury/allow_stubs.java:69: error: cannot find symbol ((java.lang.Object) (io.io__type_ctor_info_state_0)) ^ symbol: variable io location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:69: error: illegal start of type ((java.lang.Object) (io.io__type_ctor_info_state_0)) ^ Mercury/javas/jmercury/allow_stubs.java:76: error: cannot find symbol ((java.lang.Object) (io.io__type_ctor_info_state_0)), ^ symbol: variable io location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:76: error: illegal start of type ((java.lang.Object) (io.io__type_ctor_info_state_0)), ^ Mercury/javas/jmercury/allow_stubs.java:77: error: cannot find symbol ((java.lang.Object) (io.io__type_ctor_info_state_0)) ^ symbol: variable io location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:77: error: illegal start of type ((java.lang.Object) (io.io__type_ctor_info_state_0)) ^ Mercury/javas/jmercury/allow_stubs.java:106: error: package jmercury.runtime does not exist jmercury.runtime.MethodPtr func_0 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) IOGoal_4)[1]); ^ Mercury/javas/jmercury/allow_stubs.java:106: error: package jmercury.runtime does not exist jmercury.runtime.MethodPtr func_0 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) IOGoal_4)[1]); ^ Mercury/javas/jmercury/allow_stubs.java:110: error: package jmercury.runtime does not exist conv1_LambdaHeadVar__3_16 = ((java.lang.Object) ((jmercury.runtime.MethodPtr2) func_0).call___0_0(((java.lang.Object) (((/* generic_type */ java.lang.Object) IOGoal_4))), ((java.lang.Object) (((java.lang.Object) (0)))))); ^ Mercury/javas/jmercury/allow_stubs.java:119: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_8_8 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_string_0); ^ Mercury/javas/jmercury/allow_stubs.java:119: error: cannot find symbol jmercury.runtime.TypeInfo_Struct TypeCtorInfo_8_8 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_string_0); ^ symbol: variable builtin location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:119: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_8_8 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_string_0); ^ Mercury/javas/jmercury/allow_stubs.java:124: error: cannot find symbol io.print_3_p_0(TypeCtorInfo_8_8, ((java.lang.Object) (Var_6))); ^ symbol: variable io location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:128: error: cannot find symbol private_builtin.no_clauses_1_p_0(PredName_9); ^ symbol: variable private_builtin location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:138: error: cannot find symbol private_builtin.no_clauses_1_p_0(PredName_3); ^ symbol: variable private_builtin location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:145: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_8_13 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_string_0); ^ Mercury/javas/jmercury/allow_stubs.java:145: error: cannot find symbol jmercury.runtime.TypeInfo_Struct TypeCtorInfo_8_13 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_string_0); ^ symbol: variable builtin location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:145: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_8_13 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_string_0); ^ Mercury/javas/jmercury/allow_stubs.java:146: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_7_16 = null; ^ Mercury/javas/jmercury/allow_stubs.java:153: error: cannot find symbol io.print_3_p_0(TypeCtorInfo_8_13, ((java.lang.Object) (Var_11))); ^ symbol: variable io location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:156: error: cannot find symbol io.nl_2_p_0(); ^ symbol: variable io location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:167: error: cannot find symbol TypeCtorInfo_7_16 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_string_0); ^ symbol: variable builtin location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:167: error: package jmercury.runtime does not exist TypeCtorInfo_7_16 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_string_0); ^ Mercury/javas/jmercury/allow_stubs.java:169: error: cannot find symbol io.print_3_p_0(TypeCtorInfo_7_16, ((java.lang.Object) (Var_15))); ^ symbol: variable io location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:172: error: cannot find symbol io.nl_2_p_0(); ^ symbol: variable io location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:208: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_26_26 = null; ^ Mercury/javas/jmercury/allow_stubs.java:209: error: package exception does not exist exception.Exception_result_1 Res_6 = null; ^ Mercury/javas/jmercury/allow_stubs.java:220: error: cannot find symbol TypeCtorInfo_26_26 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_tuple_0); ^ symbol: variable builtin location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:220: error: package jmercury.runtime does not exist TypeCtorInfo_26_26 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_tuple_0); ^ Mercury/javas/jmercury/allow_stubs.java:222: error: cannot find symbol Res_6 = exception.try_io_4_p_0(TypeCtorInfo_26_26, Var_10); ^ symbol: variable exception location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:226: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_27_27 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_string_0); ^ Mercury/javas/jmercury/allow_stubs.java:226: error: cannot find symbol jmercury.runtime.TypeInfo_Struct TypeCtorInfo_27_27 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_string_0); ^ symbol: variable builtin location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:226: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_27_27 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_string_0); ^ Mercury/javas/jmercury/allow_stubs.java:227: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_28_28 = null; ^ Mercury/javas/jmercury/allow_stubs.java:228: error: package univ does not exist univ.Univ_0 Exception_7 = ((exception.Exception_result_1.Exception_1) Res_6).F1; ^ Mercury/javas/jmercury/allow_stubs.java:228: error: package exception.Exception_result_1 does not exist univ.Univ_0 Exception_7 = ((exception.Exception_result_1.Exception_1) Res_6).F1; ^ Mercury/javas/jmercury/allow_stubs.java:234: error: cannot find symbol io.print_3_p_0(TypeCtorInfo_27_27, ((java.lang.Object) (Var_18))); ^ symbol: variable io location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:237: error: cannot find symbol java.lang.Object [] result = univ.univ_value_1_f_0(Exception_7); ^ symbol: variable univ location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:238: error: package jmercury.runtime does not exist TypeInfo_28_28 = (jmercury.runtime.TypeInfo_Struct) result[0]; ^ Mercury/javas/jmercury/allow_stubs.java:242: error: cannot find symbol io.print_3_p_0(TypeInfo_28_28, Var_20); ^ symbol: variable io location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:246: error: cannot find symbol io.print_3_p_0(TypeCtorInfo_27_27, ((java.lang.Object) (Var_22))); ^ symbol: variable io location: class allow_stubs Mercury/javas/jmercury/allow_stubs.java:311: error: package jmercury.runtime does not exist throw new jmercury.runtime.UnreachableDefault(); ^ 66 errors make[3]: *** [/tmp/mmake.w5G0To:2360: allow_stubs] Error 1 make[3]: Target 'allow_stubs.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-30/tests/hard_coded' ERROR OUTPUT allow_stubs.m:025: Inferred :- pred hello(io.state, io.state). allow_stubs.m:025: Inferred :- mode hello(di, uo) is det. allow_stubs.m:036: Inferred :- pred going_today(io.state, io.state). allow_stubs.m:052: Inferred :- pred trap_exceptions(pred(io.state, io.state), allow_stubs.m:052: io.state, io.state). END OF THE ERROR OUTPUT