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 --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 - uniq_mode_inf_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 --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 - uniq_mode_inf_bug.class Making Mercury/int3s/uniq_mode_inf_bug.int3 Making Mercury/ints/uniq_mode_inf_bug.int Making Mercury/javas/jmercury/uniq_mode_inf_bug.java uniq_mode_inf_bug.m:030: Inferred :- pred occur(T1, list.list(list.list(T1)), uniq_mode_inf_bug.m:030: int). uniq_mode_inf_bug.m:030: Inferred :- mode occur(in, in, uo) is nondet. uniq_mode_inf_bug.m:041: Inferred :- pred count(T1, list.list(T1), int). uniq_mode_inf_bug.m:041: Inferred :- mode count(in, in, muo) is nondet. uniq_mode_inf_bug.m:049: Inferred :- pred addx(T1, T1, int, int). uniq_mode_inf_bug.m:049: Inferred :- mode addx(in, in, di(mostly_unique), muo) uniq_mode_inf_bug.m:049: is nondet. uniq_mode_inf_bug.m:049: Inferred :- mode addx(in, in, di, muo) is nondet. Making Mercury/classes/jmercury/uniq_mode_inf_bug.class Mercury/javas/jmercury/uniq_mode_inf_bug.java:15: error: package list.List_1 does not exist private static final list.List_1.F_nil_0[] MR_scalar_common_1 = new list.List_1.F_nil_0[1]; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:30: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_T1_10, ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:32: error: package list does not exist list.List_1 HeadVar__2_2, ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:33: error: package jmercury.runtime does not exist jmercury.runtime.MethodPtr cont, ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:117: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_T1_11, ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:119: error: package list does not exist list.List_1 HeadVar__2_2, ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:120: error: package jmercury.runtime does not exist jmercury.runtime.MethodPtr cont, ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:203: error: package list does not exist list.List_1 HeadVar__1_1, ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:204: error: package list does not exist list.List_1 HeadVar__2_2, ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:205: error: package jmercury.runtime does not exist jmercury.runtime.MethodPtr cont, ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:294: error: package list does not exist list.List_1 arg1, ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:307: error: package jmercury.runtime does not exist implements jmercury.runtime.MethodPtr2 ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:380: error: package jmercury.runtime does not exist public jmercury.runtime.TypeInfo_Struct TypeInfo_for_T1_10; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:382: error: package jmercury.runtime does not exist public jmercury.runtime.MethodPtr cont; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:393: error: package jmercury.runtime does not exist public jmercury.runtime.TypeInfo_Struct TypeInfo_for_T1_11; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:395: error: package jmercury.runtime does not exist public jmercury.runtime.MethodPtr cont; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:398: error: package list does not exist public list.List_1 Z_7; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:406: error: package list does not exist public list.List_1 HeadVar__2_2; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:407: error: package jmercury.runtime does not exist public jmercury.runtime.MethodPtr cont; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:409: error: package list does not exist public list.List_1 HeadVar__3_3; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:411: error: package list does not exist public list.List_1 Y_6; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:413: error: package list does not exist public list.List_1 V_9; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:414: error: package list does not exist public list.List_1 Var_10; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:415: error: package list does not exist public list.List_1 Var_11; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:416: error: package list does not exist public list.List_1 Var_12; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:15: error: package list.List_1 does not exist private static final list.List_1.F_nil_0[] MR_scalar_common_1 = new list.List_1.F_nil_0[1]; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:19: error: package list.List_1 does not exist new list.List_1.F_nil_0(); ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:51: error: package jmercury.runtime does not exist ((jmercury.runtime.MethodPtr2) (((uniq_mode_inf_bug.Count_3_p_0_env_0) env_ptr).cont)).call___0_0(java.lang.Integer.valueOf(((uniq_mode_inf_bug.Count_3_p_0_env_0) env_ptr).HeadVar__3_3), ((java.lang.Object) (((uniq_mode_inf_bug.Count_3_p_0_env_0) env_ptr).cont_env_ptr))); ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:56: error: package list does not exist list.List_1 Z_7 = null; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:58: error: package list.List_1 does not exist ((uniq_mode_inf_bug.Count_3_p_0_env_0) env_ptr).Y_6 = ((list.List_1.F_cons_2) HeadVar__2_2).F1; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:59: error: package list.List_1 does not exist Z_7 = ((list.List_1.F_cons_2) HeadVar__2_2).F2; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:76: error: cannot find symbol ((uniq_mode_inf_bug.Count_3_p_0_env_0) env_ptr).succeeded = builtin.unify_2_p_0(((uniq_mode_inf_bug.Count_3_p_0_env_0) env_ptr).TypeInfo_for_T1_10, ((uniq_mode_inf_bug.Count_3_p_0_env_0) env_ptr).Y_6, ((uniq_mode_inf_bug.Count_3_p_0_env_0) env_ptr).HeadVar__1_1); ^ symbol: variable builtin location: class uniq_mode_inf_bug Mercury/javas/jmercury/uniq_mode_inf_bug.java:86: error: package jmercury.runtime does not exist ((jmercury.runtime.MethodPtr2) (((uniq_mode_inf_bug.Count_3_p_0_env_0) env_ptr).cont)).call___0_0(java.lang.Integer.valueOf(((uniq_mode_inf_bug.Count_3_p_0_env_0) env_ptr).HeadVar__3_3), ((java.lang.Object) (((uniq_mode_inf_bug.Count_3_p_0_env_0) env_ptr).cont_env_ptr))); ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:92: error: cannot find symbol ((uniq_mode_inf_bug.Count_3_p_0_env_0) env_ptr).succeeded = builtin.unify_2_p_0(((uniq_mode_inf_bug.Count_3_p_0_env_0) env_ptr).TypeInfo_for_T1_10, ((uniq_mode_inf_bug.Count_3_p_0_env_0) env_ptr).HeadVar__1_1, ((uniq_mode_inf_bug.Count_3_p_0_env_0) env_ptr).Y_6); ^ symbol: variable builtin location: class uniq_mode_inf_bug Mercury/javas/jmercury/uniq_mode_inf_bug.java:97: error: package jmercury.runtime does not exist ((jmercury.runtime.MethodPtr2) (((uniq_mode_inf_bug.Count_3_p_0_env_0) env_ptr).cont)).call___0_0(java.lang.Integer.valueOf(((uniq_mode_inf_bug.Count_3_p_0_env_0) env_ptr).HeadVar__3_3), ((java.lang.Object) (((uniq_mode_inf_bug.Count_3_p_0_env_0) env_ptr).cont_env_ptr))); ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:138: error: package jmercury.runtime does not exist ((jmercury.runtime.MethodPtr2) (((uniq_mode_inf_bug.Occur_3_p_0_env_0) env_ptr).cont)).call___0_0(java.lang.Integer.valueOf(((uniq_mode_inf_bug.Occur_3_p_0_env_0) env_ptr).HeadVar__3_3), ((java.lang.Object) (((uniq_mode_inf_bug.Occur_3_p_0_env_0) env_ptr).cont_env_ptr))); ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:143: error: package list does not exist list.List_1 Y_6 = ((list.List_1) ((list.List_1.F_cons_2) HeadVar__2_2).F1); ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:143: error: package list does not exist list.List_1 Y_6 = ((list.List_1) ((list.List_1.F_cons_2) HeadVar__2_2).F1); ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:143: error: package list.List_1 does not exist list.List_1 Y_6 = ((list.List_1) ((list.List_1.F_cons_2) HeadVar__2_2).F1); ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:145: error: package list does not exist ((uniq_mode_inf_bug.Occur_3_p_0_env_0) env_ptr).Z_7 = (list.List_1) ((list.List_1.F_cons_2) HeadVar__2_2).F2; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:145: error: package list.List_1 does not exist ((uniq_mode_inf_bug.Occur_3_p_0_env_0) env_ptr).Z_7 = (list.List_1) ((list.List_1.F_cons_2) HeadVar__2_2).F2; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:184: error: package jmercury.runtime does not exist ((jmercury.runtime.MethodPtr2) (((uniq_mode_inf_bug.Occur_3_p_0_env_0) env_ptr).cont)).call___0_0(java.lang.Integer.valueOf(((uniq_mode_inf_bug.Occur_3_p_0_env_0) env_ptr).HeadVar__3_3), ((java.lang.Object) (((uniq_mode_inf_bug.Occur_3_p_0_env_0) env_ptr).cont_env_ptr))); ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:220: error: package list does not exist ((uniq_mode_inf_bug.Occurall_3_p_0_env_0) env_ptr).HeadVar__3_3 = (list.List_1) uniq_mode_inf_bug.MR_scalar_common_1[0]; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:222: error: package jmercury.runtime does not exist ((jmercury.runtime.MethodPtr2) (((uniq_mode_inf_bug.Occurall_3_p_0_env_0) env_ptr).cont)).call___0_0(((java.lang.Object) (((uniq_mode_inf_bug.Occurall_3_p_0_env_0) env_ptr).HeadVar__3_3)), ((java.lang.Object) (((uniq_mode_inf_bug.Occurall_3_p_0_env_0) env_ptr).cont_env_ptr))); ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:227: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_13_13 = null; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:229: error: package list.List_1 does not exist ((uniq_mode_inf_bug.Occurall_3_p_0_env_0) env_ptr).X_5 = ((java.lang.Integer) (((list.List_1.F_cons_2) HeadVar__1_1).F1)).intValue(); ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:229: error: illegal start of type ((uniq_mode_inf_bug.Occurall_3_p_0_env_0) env_ptr).X_5 = ((java.lang.Integer) (((list.List_1.F_cons_2) HeadVar__1_1).F1)).intValue(); ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:230: error: package list.List_1 does not exist ((uniq_mode_inf_bug.Occurall_3_p_0_env_0) env_ptr).Y_6 = ((list.List_1.F_cons_2) HeadVar__1_1).F2; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:231: error: package list does not exist ((uniq_mode_inf_bug.Occurall_3_p_0_env_0) env_ptr).Var_12 = (list.List_1) uniq_mode_inf_bug.MR_scalar_common_1[0]; ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:232: error: cannot find symbol TypeCtorInfo_13_13 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0); ^ symbol: variable builtin location: class uniq_mode_inf_bug Mercury/javas/jmercury/uniq_mode_inf_bug.java:232: error: package jmercury.runtime does not exist TypeCtorInfo_13_13 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0); ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:246: error: package list.List_1 does not exist ((uniq_mode_inf_bug.Occurall_3_p_0_env_0) env_ptr).Var_11 = new list.List_1.F_cons_2( ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:252: error: package list.List_1 does not exist ((uniq_mode_inf_bug.Occurall_3_p_0_env_0) env_ptr).Var_10 = new list.List_1.F_cons_2( ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:282: error: package list.List_1 does not exist ((uniq_mode_inf_bug.Occurall_3_p_0_env_0) env_ptr).HeadVar__3_3 = new list.List_1.F_cons_2( ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:288: error: package jmercury.runtime does not exist ((jmercury.runtime.MethodPtr2) (((uniq_mode_inf_bug.Occurall_3_p_0_env_0) env_ptr).cont)).call___0_0(((java.lang.Object) (((uniq_mode_inf_bug.Occurall_3_p_0_env_0) env_ptr).HeadVar__3_3)), ((java.lang.Object) (((uniq_mode_inf_bug.Occurall_3_p_0_env_0) env_ptr).cont_env_ptr))); ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:322: error: package list does not exist uniq_mode_inf_bug.occurall_3_p_0_4(((list.List_1) arg1), ((/* env_ptr */ java.lang.Object) arg2)); ^ Mercury/javas/jmercury/uniq_mode_inf_bug.java:363: error: package jmercury.runtime does not exist throw new jmercury.runtime.UnreachableDefault(); ^ 57 errors ** Error making `Mercury/classes/jmercury/uniq_mode_inf_bug.class'. make[3]: *** [/tmp/mmake.JBTnFo:1500: uniq_mode_inf_bug.class] Error 1 make[3]: Target 'uniq_mode_inf_bug.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/valid' ERROR OUTPUT uniq_mode_inf_bug.m:030: Inferred :- pred occur(T1, list.list(list.list(T1)), uniq_mode_inf_bug.m:030: int). uniq_mode_inf_bug.m:030: Inferred :- mode occur(in, in, uo) is nondet. uniq_mode_inf_bug.m:041: Inferred :- pred count(T1, list.list(T1), int). uniq_mode_inf_bug.m:041: Inferred :- mode count(in, in, muo) is nondet. uniq_mode_inf_bug.m:049: Inferred :- pred addx(T1, T1, int, int). uniq_mode_inf_bug.m:049: Inferred :- mode addx(in, in, di(mostly_unique), muo) uniq_mode_inf_bug.m:049: is nondet. uniq_mode_inf_bug.m:049: Inferred :- mode addx(in, in, di, muo) is nondet. END OF THE ERROR OUTPUT