MERCURY_OPTIONS= make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/general' { 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 --infer-all '; 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 - mode_inf_bug.depend make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/general' make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/general' { 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 --infer-all '; 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 - mode_inf_bug Making Mercury/int3s/mode_inf_bug.int3 Making Mercury/ints/mode_inf_bug.int Making Mercury/javas/jmercury/mode_inf_bug.java mode_inf_bug.m:036: Inferred :- pred test1(io.state, io.state). mode_inf_bug.m:036: Inferred :- mode test1(di, uo) is det. mode_inf_bug.m:039: Inferred :- pred test2(io.state, io.state). mode_inf_bug.m:039: Inferred :- mode test2(di, uo) is det. mode_inf_bug.m:042: Inferred :- pred test_all(int, int, T3, io.state, mode_inf_bug.m:042: io.state). mode_inf_bug.m:042: Inferred :- mode test_all(di, di, di, di, uo) is det. mode_inf_bug.m:058: Inferred :- pred test_is_a_list_1(int). mode_inf_bug.m:063: Inferred :- pred test_is_a_list_2(int). mode_inf_bug.m:068: Inferred :- pred test_map_list_1(int). mode_inf_bug.m:073: Inferred :- pred test_map_list_2(int). mode_inf_bug.m:078: Inferred :- pred time((pred), int, T3, io.state, io.state). mode_inf_bug.m:078: Inferred :- mode time(di(/* unique */((pred) is semidet)), mode_inf_bug.m:078: (unique >> ground), ui, di, uo) is det. mode_inf_bug.m:078: Inferred :- mode time(di(/* unique */((pred) is semidet)), ... output log truncated, see `mode_inf_bug.err' for the complete log. Making Java class files Mercury/javas/jmercury/mode_inf_bug.java:32: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc mode_inf_bug__enum_functor_desc_hook_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/mode_inf_bug.java:33: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] mode_inf_bug__enum_ordinal_ordered_hook_0 = new jmercury.runtime.EnumFunctorDesc[1]; ^ Mercury/javas/jmercury/mode_inf_bug.java:34: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] mode_inf_bug__enum_name_ordered_hook_0 = new jmercury.runtime.EnumFunctorDesc[1]; ^ Mercury/javas/jmercury/mode_inf_bug.java:36: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct mode_inf_bug__type_ctor_info_hook_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/mode_inf_bug.java:78: error: package list.List_1 does not exist private static final list.List_1.F_nil_0[] MR_scalar_common_2 = new list.List_1.F_nil_0[1]; ^ Mercury/javas/jmercury/mode_inf_bug.java:115: error: package list does not exist list.List_1 L0_5) ^ Mercury/javas/jmercury/mode_inf_bug.java:112: error: package list does not exist private static list.List_1 ^ Mercury/javas/jmercury/mode_inf_bug.java:164: error: package list does not exist list.List_1 HeadVar__1_1) ^ Mercury/javas/jmercury/mode_inf_bug.java:194: error: package list does not exist list.List_1 HeadVar__1_1) ^ Mercury/javas/jmercury/mode_inf_bug.java:274: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_7_7, ^ Mercury/javas/jmercury/mode_inf_bug.java:275: error: package list does not exist list.List_1 HeadVar__1_1, ^ Mercury/javas/jmercury/mode_inf_bug.java:309: error: package list does not exist list.List_1 HeadVar__1_1) ^ Mercury/javas/jmercury/mode_inf_bug.java:339: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_T3_30, ^ Mercury/javas/jmercury/mode_inf_bug.java:596: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_T3_20, ^ Mercury/javas/jmercury/mode_inf_bug.java:639: error: package builtin does not exist private static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/mode_inf_bug.java:685: error: package jmercury.runtime does not exist implements jmercury.runtime.MethodPtr1 ^ Mercury/javas/jmercury/mode_inf_bug.java:753: error: package jmercury.runtime does not exist implements jmercury.runtime.MethodPtr2 ^ Mercury/javas/jmercury/mode_inf_bug.java:806: error: package jmercury.runtime does not exist extends jmercury.runtime.MercuryEnum ^ Mercury/javas/jmercury/mode_inf_bug.java:807: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/mode_inf_bug.java:15: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.progname = "mode_inf_bug"; ^ Mercury/javas/jmercury/mode_inf_bug.java:16: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.args = args; ^ Mercury/javas/jmercury/mode_inf_bug.java:17: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.exit_status = 0; ^ Mercury/javas/jmercury/mode_inf_bug.java:18: error: cannot find symbol library.ML_std_library_init(); ^ symbol: variable library location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:19: error: cannot find symbol benchmarking.ML_initialise(); ^ symbol: variable benchmarking location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:25: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.runMain(run_main); ^ Mercury/javas/jmercury/mode_inf_bug.java:26: error: cannot find symbol io.flush_output_3_p_0(io.stdout_stream_0_f_0()); ^ symbol: variable io location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:26: error: cannot find symbol io.flush_output_3_p_0(io.stdout_stream_0_f_0()); ^ symbol: variable io location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:27: error: cannot find symbol io.flush_output_3_p_0(io.stderr_stream_0_f_0()); ^ symbol: variable io location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:27: error: cannot find symbol io.flush_output_3_p_0(io.stderr_stream_0_f_0()); ^ symbol: variable io location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:28: error: package jmercury.runtime does not exist java.lang.System.exit(jmercury.runtime.JavaInternal.exit_status); ^ Mercury/javas/jmercury/mode_inf_bug.java:32: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc mode_inf_bug__enum_functor_desc_hook_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/mode_inf_bug.java:33: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] mode_inf_bug__enum_ordinal_ordered_hook_0 = new jmercury.runtime.EnumFunctorDesc[1]; ^ Mercury/javas/jmercury/mode_inf_bug.java:34: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] mode_inf_bug__enum_name_ordered_hook_0 = new jmercury.runtime.EnumFunctorDesc[1]; ^ Mercury/javas/jmercury/mode_inf_bug.java:36: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct mode_inf_bug__type_ctor_info_hook_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/mode_inf_bug.java:54: error: package jmercury.runtime does not exist jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_DUMMY, ^ Mercury/javas/jmercury/mode_inf_bug.java:59: error: package jmercury.runtime does not exist new jmercury.runtime.TypeFunctors( ^ Mercury/javas/jmercury/mode_inf_bug.java:62: error: package jmercury.runtime does not exist new jmercury.runtime.TypeLayout( ^ Mercury/javas/jmercury/mode_inf_bug.java:78: error: package list.List_1 does not exist private static final list.List_1.F_nil_0[] MR_scalar_common_2 = new list.List_1.F_nil_0[1]; ^ Mercury/javas/jmercury/mode_inf_bug.java:87: error: cannot find symbol ((java.lang.Object) (builtin.builtin__type_ctor_info_int_0)) ^ symbol: variable builtin location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:87: error: illegal start of type ((java.lang.Object) (builtin.builtin__type_ctor_info_int_0)) ^ Mercury/javas/jmercury/mode_inf_bug.java:94: error: cannot find symbol ((java.lang.Object) (builtin.builtin__type_ctor_info_character_0)) ^ symbol: variable builtin location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:94: error: illegal start of type ((java.lang.Object) (builtin.builtin__type_ctor_info_character_0)) ^ Mercury/javas/jmercury/mode_inf_bug.java:97: error: package list.List_1 does not exist new list.List_1.F_nil_0(); ^ Mercury/javas/jmercury/mode_inf_bug.java:120: error: package list does not exist list.List_1 L_6 = null; ^ Mercury/javas/jmercury/mode_inf_bug.java:129: error: package list does not exist list.List_1 Var_9 = null; ^ Mercury/javas/jmercury/mode_inf_bug.java:132: error: package list does not exist list.List_1 next_value_of_L0_5 = null; ^ Mercury/javas/jmercury/mode_inf_bug.java:137: error: package list.List_1 does not exist Var_9 = new list.List_1.F_cons_2( ^ Mercury/javas/jmercury/mode_inf_bug.java:175: error: package list.List_1 does not exist int F_2 = ((java.lang.Integer) (((list.List_1.F_cons_2) HeadVar__1_1).F1)).intValue(); ^ Mercury/javas/jmercury/mode_inf_bug.java:175: error: illegal start of type int F_2 = ((java.lang.Integer) (((list.List_1.F_cons_2) HeadVar__1_1).F1)).intValue(); ^ Mercury/javas/jmercury/mode_inf_bug.java:176: error: package list does not exist list.List_1 R_3 = ((list.List_1.F_cons_2) HeadVar__1_1).F2; ^ Mercury/javas/jmercury/mode_inf_bug.java:176: error: package list.List_1 does not exist list.List_1 R_3 = ((list.List_1.F_cons_2) HeadVar__1_1).F2; ^ Mercury/javas/jmercury/mode_inf_bug.java:177: error: package list does not exist list.List_1 next_value_of_HeadVar__1_1 = null; ^ Mercury/javas/jmercury/mode_inf_bug.java:205: error: package list.List_1 does not exist int F_2 = ((java.lang.Integer) (((list.List_1.F_cons_2) HeadVar__1_1).F1)).intValue(); ^ Mercury/javas/jmercury/mode_inf_bug.java:205: error: illegal start of type int F_2 = ((java.lang.Integer) (((list.List_1.F_cons_2) HeadVar__1_1).F1)).intValue(); ^ Mercury/javas/jmercury/mode_inf_bug.java:206: error: package list does not exist list.List_1 R_3 = ((list.List_1.F_cons_2) HeadVar__1_1).F2; ^ Mercury/javas/jmercury/mode_inf_bug.java:206: error: package list.List_1 does not exist list.List_1 R_3 = ((list.List_1.F_cons_2) HeadVar__1_1).F2; ^ Mercury/javas/jmercury/mode_inf_bug.java:208: error: package jmercury.runtime does not exist jmercury.runtime.MethodPtr func_0 = null; ^ Mercury/javas/jmercury/mode_inf_bug.java:209: error: package list does not exist list.List_1 next_value_of_HeadVar__1_1 = null; ^ Mercury/javas/jmercury/mode_inf_bug.java:219: error: package jmercury.runtime does not exist func_0 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) Var_4)[1]); ^ Mercury/javas/jmercury/mode_inf_bug.java:221: error: package jmercury.runtime does not exist succeeded = ((java.lang.Boolean) ((jmercury.runtime.MethodPtr1) func_0).call___0_0(((java.lang.Object) (((/* generic_type */ java.lang.Object) Var_4))))).booleanValue(); ^ Mercury/javas/jmercury/mode_inf_bug.java:251: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_9_10 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0); ^ Mercury/javas/jmercury/mode_inf_bug.java:251: error: cannot find symbol jmercury.runtime.TypeInfo_Struct TypeCtorInfo_9_10 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0); ^ symbol: variable builtin location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:251: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_9_10 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0); ^ Mercury/javas/jmercury/mode_inf_bug.java:252: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_9_14 = null; ^ Mercury/javas/jmercury/mode_inf_bug.java:266: error: cannot find symbol TypeCtorInfo_9_14 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0); ^ symbol: variable builtin location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:266: error: package jmercury.runtime does not exist TypeCtorInfo_9_14 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0); ^ Mercury/javas/jmercury/mode_inf_bug.java:287: error: package list.List_1 does not exist java.lang.Object F_4 = ((list.List_1.F_cons_2) HeadVar__1_1).F1; ^ Mercury/javas/jmercury/mode_inf_bug.java:288: error: package list does not exist list.List_1 R_5 = ((list.List_1.F_cons_2) HeadVar__1_1).F2; ^ Mercury/javas/jmercury/mode_inf_bug.java:288: error: package list.List_1 does not exist list.List_1 R_5 = ((list.List_1.F_cons_2) HeadVar__1_1).F2; ^ Mercury/javas/jmercury/mode_inf_bug.java:289: error: package jmercury.runtime does not exist jmercury.runtime.MethodPtr func_0 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) HeadVar__2_2)[1]); ^ Mercury/javas/jmercury/mode_inf_bug.java:289: error: package jmercury.runtime does not exist jmercury.runtime.MethodPtr func_0 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) HeadVar__2_2)[1]); ^ Mercury/javas/jmercury/mode_inf_bug.java:290: error: package list does not exist list.List_1 next_value_of_HeadVar__1_1 = null; ^ Mercury/javas/jmercury/mode_inf_bug.java:293: 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) HeadVar__2_2))), ((java.lang.Object) (F_4)))).booleanValue(); ^ Mercury/javas/jmercury/mode_inf_bug.java:320: error: package list.List_1 does not exist int F_4 = ((java.lang.Integer) (((list.List_1.F_cons_2) HeadVar__1_1).F1)).intValue(); ^ Mercury/javas/jmercury/mode_inf_bug.java:320: error: illegal start of type int F_4 = ((java.lang.Integer) (((list.List_1.F_cons_2) HeadVar__1_1).F1)).intValue(); ^ Mercury/javas/jmercury/mode_inf_bug.java:321: error: package list does not exist list.List_1 R_5 = ((list.List_1.F_cons_2) HeadVar__1_1).F2; ^ Mercury/javas/jmercury/mode_inf_bug.java:321: error: package list.List_1 does not exist list.List_1 R_5 = ((list.List_1.F_cons_2) HeadVar__1_1).F2; ^ Mercury/javas/jmercury/mode_inf_bug.java:322: error: package list does not exist list.List_1 next_value_of_HeadVar__1_1 = null; ^ Mercury/javas/jmercury/mode_inf_bug.java:354: error: package jmercury.runtime does not exist jmercury.runtime.MethodPtr func_0 = null; ^ Mercury/javas/jmercury/mode_inf_bug.java:357: error: cannot find symbol io.write_string_3_p_0(Var_12); ^ symbol: variable io location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:367: error: package jmercury.runtime does not exist func_0 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) Var_14)[1]); ^ Mercury/javas/jmercury/mode_inf_bug.java:369: error: package jmercury.runtime does not exist succeeded = ((java.lang.Boolean) ((jmercury.runtime.MethodPtr1) func_0).call___0_0(((java.lang.Object) (((/* generic_type */ java.lang.Object) Var_14))))).booleanValue(); ^ Mercury/javas/jmercury/mode_inf_bug.java:376: error: cannot find symbol io.write_string_3_p_0(Var_31); ^ symbol: variable io location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:384: error: cannot find symbol io.write_string_3_p_0(Var_33); ^ symbol: variable io location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:388: error: cannot find symbol io.nl_2_p_0(); ^ symbol: variable io location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:392: error: cannot find symbol io.write_string_3_p_0(Var_35); ^ symbol: variable io location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:395: error: cannot find symbol io.write_int_3_p_0(Count_7); ^ symbol: variable io location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:398: error: cannot find symbol io.nl_2_p_0(); ^ symbol: variable io location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:401: error: cannot find symbol io.nl_2_p_0(); ^ symbol: variable io location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:405: error: cannot find symbol io.write_string_3_p_0(Var_17); ^ symbol: variable io location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:419: error: cannot find symbol io.nl_2_p_0(); ^ symbol: variable io location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:423: error: cannot find symbol io.write_string_3_p_0(Var_22); ^ symbol: variable io location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:437: error: cannot find symbol io.nl_2_p_0(); ^ symbol: variable io location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:441: error: cannot find symbol io.write_string_3_p_0(Var_27); ^ symbol: variable io location: class mode_inf_bug Mercury/javas/jmercury/mode_inf_bug.java:513: error: package list does not exist list.List_1 L_3 = null; ^ Mercury/javas/jmercury/mode_inf_bug.java:514: error: package list does not exist list.List_1 Var_4 = (list.List_1) mode_inf_bug.MR_scalar_common_2[0]; ^ Mercury/javas/jmercury/mode_inf_bug.java:514: error: package list does not exist list.List_1 Var_4 = (list.List_1) mode_inf_bug.MR_scalar_common_2[0]; ^ Mercury/javas/jmercury/mode_inf_bug.java:530: error: package list does not exist list.List_1 L_3 = null; ^ Mercury/javas/jmercury/mode_inf_bug.java:531: error: package list does not exist list.List_1 Var_4 = (list.List_1) mode_inf_bug.MR_scalar_common_2[0]; ^ Mercury/javas/jmercury/mode_inf_bug.java:531: error: package list does not exist list.List_1 Var_4 = (list.List_1) mode_inf_bug.MR_scalar_common_2[0]; ^ 100 errors make[3]: *** [/tmp/mmake.3RRSm6:1281: mode_inf_bug] Error 1 make[3]: Target 'mode_inf_bug.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/general' ERROR OUTPUT mode_inf_bug.m:036: Inferred :- pred test1(io.state, io.state). mode_inf_bug.m:036: Inferred :- mode test1(di, uo) is det. mode_inf_bug.m:039: Inferred :- pred test2(io.state, io.state). mode_inf_bug.m:039: Inferred :- mode test2(di, uo) is det. mode_inf_bug.m:042: Inferred :- pred test_all(int, int, T3, io.state, mode_inf_bug.m:042: io.state). mode_inf_bug.m:042: Inferred :- mode test_all(di, di, di, di, uo) is det. mode_inf_bug.m:058: Inferred :- pred test_is_a_list_1(int). mode_inf_bug.m:063: Inferred :- pred test_is_a_list_2(int). mode_inf_bug.m:068: Inferred :- pred test_map_list_1(int). mode_inf_bug.m:073: Inferred :- pred test_map_list_2(int). mode_inf_bug.m:078: Inferred :- pred time((pred), int, T3, io.state, io.state). mode_inf_bug.m:078: Inferred :- mode time(di(/* unique */((pred) is semidet)), mode_inf_bug.m:078: (unique >> ground), ui, di, uo) is det. mode_inf_bug.m:078: Inferred :- mode time(di(/* unique */((pred) is semidet)), mode_inf_bug.m:078: in, ui, di, uo) is det. mode_inf_bug.m:089: Inferred :- pred write_s(string, io.state, io.state). mode_inf_bug.m:089: Inferred :- mode write_s(di, di, uo) is det. mode_inf_bug.m:101: Inferred :- pred is_a(character). mode_inf_bug.m:106: Inferred :- pred is_a_list_1(list.list(character)). mode_inf_bug.m:106: Inferred :- mode is_a_list_1(di) is semidet. mode_inf_bug.m:113: Inferred :- pred is_a_list_2(list.list(character)). mode_inf_bug.m:113: Inferred :- mode is_a_list_2(di) is semidet. mode_inf_bug.m:120: Inferred :- pred map_list_1(list.list(V_1), (pred V_1)). mode_inf_bug.m:120: Inferred :- mode map_list_1(di, di(/* unique */(pred(in) is mode_inf_bug.m:120: semidet))) is semidet. mode_inf_bug.m:127: Inferred :- pred map_list_2(list.list(character), mode_inf_bug.m:127: mode_inf_bug.hook). mode_inf_bug.m:127: Inferred :- mode map_list_2(di, di) is semidet. mode_inf_bug.m:132: Inferred :- pred map_list_hook(mode_inf_bug.hook, mode_inf_bug.m:132: character). mode_inf_bug.m:132: Inferred :- mode map_list_hook(ui, di) is semidet. mode_inf_bug.m:137: Inferred :- pred gen_a_list(int, list.list(character)). mode_inf_bug.m:137: Inferred :- mode gen_a_list(in, uo) is det. mode_inf_bug.m:140: Inferred :- pred gen_a_list(int, list.list(character), mode_inf_bug.m:140: list.list(character)). mode_inf_bug.m:140: Inferred :- mode gen_a_list(in, di, uo) is det. END OF THE ERROR OUTPUT