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 --common-struct --loop-invariants '; 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 - loop_inv_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 --common-struct --loop-invariants '; 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 - loop_inv_bug.class Making Mercury/int3s/loop_inv_bug.int3 Making Mercury/ints/loop_inv_bug.int Making Mercury/javas/jmercury/loop_inv_bug.java Making Mercury/classes/jmercury/loop_inv_bug.class Mercury/javas/jmercury/loop_inv_bug.java:18: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_T_9, ^ Mercury/javas/jmercury/loop_inv_bug.java:19: error: package term does not exist term.Var_1 Var_4, ^ Mercury/javas/jmercury/loop_inv_bug.java:20: error: package sparse_bitset does not exist sparse_bitset.Sparse_bitset_1 TrueVars0_5, ^ Mercury/javas/jmercury/loop_inv_bug.java:21: error: package sparse_bitset does not exist sparse_bitset.Sparse_bitset_1 FalseVars0_6) ^ Mercury/javas/jmercury/loop_inv_bug.java:60: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_for_T_9, ^ Mercury/javas/jmercury/loop_inv_bug.java:61: error: package term does not exist term.Var_1 Var_4, ^ Mercury/javas/jmercury/loop_inv_bug.java:62: error: package sparse_bitset does not exist sparse_bitset.Sparse_bitset_1 TrueVars0_5, ^ Mercury/javas/jmercury/loop_inv_bug.java:63: error: package sparse_bitset does not exist sparse_bitset.Sparse_bitset_1 FalseVars0_6, ^ Mercury/javas/jmercury/loop_inv_bug.java:65: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_11_11) ^ Mercury/javas/jmercury/loop_inv_bug.java:23: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_10_10 = jmercury.runtime.TypeInfo_Struct.maybe_new(term.term__type_ctor_info_var_1); ^ Mercury/javas/jmercury/loop_inv_bug.java:23: error: cannot find symbol jmercury.runtime.TypeInfo_Struct TypeCtorInfo_10_10 = jmercury.runtime.TypeInfo_Struct.maybe_new(term.term__type_ctor_info_var_1); ^ symbol: variable term location: class loop_inv_bug Mercury/javas/jmercury/loop_inv_bug.java:23: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_10_10 = jmercury.runtime.TypeInfo_Struct.maybe_new(term.term__type_ctor_info_var_1); ^ Mercury/javas/jmercury/loop_inv_bug.java:24: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_11_11 = null; ^ Mercury/javas/jmercury/loop_inv_bug.java:25: error: cannot find symbol /* typeclass_info */ java.lang.Object[] BaseTypeClassInfo_for_uenum_12 = (/* typeclass_info */ java.lang.Object[]) term.base_typeclass_info_enum__uenum__arity1__term__var__arity1__; ^ symbol: variable term location: class loop_inv_bug Mercury/javas/jmercury/loop_inv_bug.java:27: error: package sparse_bitset does not exist sparse_bitset.Sparse_bitset_1 TrueVars_7 = null; ^ Mercury/javas/jmercury/loop_inv_bug.java:28: error: package sparse_bitset does not exist sparse_bitset.Sparse_bitset_1 FalseVars_8 = null; ^ Mercury/javas/jmercury/loop_inv_bug.java:29: error: package sparse_bitset does not exist sparse_bitset.Sparse_bitset_1 conv0_TrueVars_7 = null; ^ Mercury/javas/jmercury/loop_inv_bug.java:30: error: package sparse_bitset does not exist sparse_bitset.Sparse_bitset_1 conv1_FalseVars_8 = null; ^ Mercury/javas/jmercury/loop_inv_bug.java:33: error: package jmercury.runtime does not exist TypeInfo_11_11 = new jmercury.runtime.TypeInfo_Struct( ^ Mercury/javas/jmercury/loop_inv_bug.java:46: error: package sparse_bitset does not exist conv0_TrueVars_7 = sparse_bitset.remove_leq_3_p_0(TypeClassInfo_for_uenum_13, ((java.lang.Object) (Var_4)), (sparse_bitset.Sparse_bitset_1) TrueVars0_5); ^ Mercury/javas/jmercury/loop_inv_bug.java:46: error: cannot find symbol conv0_TrueVars_7 = sparse_bitset.remove_leq_3_p_0(TypeClassInfo_for_uenum_13, ((java.lang.Object) (Var_4)), (sparse_bitset.Sparse_bitset_1) TrueVars0_5); ^ symbol: variable sparse_bitset location: class loop_inv_bug Mercury/javas/jmercury/loop_inv_bug.java:48: error: package sparse_bitset does not exist TrueVars_7 = (sparse_bitset.Sparse_bitset_1) conv0_TrueVars_7; ^ Mercury/javas/jmercury/loop_inv_bug.java:50: error: package sparse_bitset does not exist conv1_FalseVars_8 = sparse_bitset.remove_leq_3_p_0(TypeClassInfo_for_uenum_13, ((java.lang.Object) (Var_4)), (sparse_bitset.Sparse_bitset_1) FalseVars0_6); ^ Mercury/javas/jmercury/loop_inv_bug.java:50: error: cannot find symbol conv1_FalseVars_8 = sparse_bitset.remove_leq_3_p_0(TypeClassInfo_for_uenum_13, ((java.lang.Object) (Var_4)), (sparse_bitset.Sparse_bitset_1) FalseVars0_6); ^ symbol: variable sparse_bitset location: class loop_inv_bug Mercury/javas/jmercury/loop_inv_bug.java:52: error: package sparse_bitset does not exist FalseVars_8 = (sparse_bitset.Sparse_bitset_1) conv1_FalseVars_8; ^ Mercury/javas/jmercury/loop_inv_bug.java:69: error: package sparse_bitset does not exist sparse_bitset.Sparse_bitset_1 TrueVars_7 = null; ^ Mercury/javas/jmercury/loop_inv_bug.java:70: error: package sparse_bitset does not exist sparse_bitset.Sparse_bitset_1 FalseVars_8 = null; ^ Mercury/javas/jmercury/loop_inv_bug.java:71: error: package sparse_bitset does not exist sparse_bitset.Sparse_bitset_1 conv0_TrueVars_7 = null; ^ Mercury/javas/jmercury/loop_inv_bug.java:72: error: package sparse_bitset does not exist sparse_bitset.Sparse_bitset_1 conv1_FalseVars_8 = null; ^ Mercury/javas/jmercury/loop_inv_bug.java:73: error: package sparse_bitset does not exist sparse_bitset.Sparse_bitset_1 next_value_of_TrueVars0_5 = null; ^ Mercury/javas/jmercury/loop_inv_bug.java:74: error: package sparse_bitset does not exist sparse_bitset.Sparse_bitset_1 next_value_of_FalseVars0_6 = null; ^ Mercury/javas/jmercury/loop_inv_bug.java:78: error: package sparse_bitset does not exist conv0_TrueVars_7 = sparse_bitset.remove_leq_3_p_0(TypeClassInfo_for_uenum_13, ((java.lang.Object) (Var_4)), (sparse_bitset.Sparse_bitset_1) TrueVars0_5); ^ Mercury/javas/jmercury/loop_inv_bug.java:78: error: cannot find symbol conv0_TrueVars_7 = sparse_bitset.remove_leq_3_p_0(TypeClassInfo_for_uenum_13, ((java.lang.Object) (Var_4)), (sparse_bitset.Sparse_bitset_1) TrueVars0_5); ^ symbol: variable sparse_bitset location: class loop_inv_bug Mercury/javas/jmercury/loop_inv_bug.java:80: error: package sparse_bitset does not exist TrueVars_7 = (sparse_bitset.Sparse_bitset_1) conv0_TrueVars_7; ^ Mercury/javas/jmercury/loop_inv_bug.java:82: error: package sparse_bitset does not exist conv1_FalseVars_8 = sparse_bitset.remove_leq_3_p_0(TypeClassInfo_for_uenum_13, ((java.lang.Object) (Var_4)), (sparse_bitset.Sparse_bitset_1) FalseVars0_6); ^ Mercury/javas/jmercury/loop_inv_bug.java:82: error: cannot find symbol conv1_FalseVars_8 = sparse_bitset.remove_leq_3_p_0(TypeClassInfo_for_uenum_13, ((java.lang.Object) (Var_4)), (sparse_bitset.Sparse_bitset_1) FalseVars0_6); ^ symbol: variable sparse_bitset location: class loop_inv_bug Mercury/javas/jmercury/loop_inv_bug.java:84: error: package sparse_bitset does not exist FalseVars_8 = (sparse_bitset.Sparse_bitset_1) conv1_FalseVars_8; ^ 37 errors ** Error making `Mercury/classes/jmercury/loop_inv_bug.class'. make[3]: *** [/tmp/mmake.cy57K6:1500: loop_inv_bug.class] Error 1 make[3]: Target 'loop_inv_bug.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/valid'