MERCURY_OPTIONS= gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-11-25/tests/valid' { echo MCFLAGS += '--grade java --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-11-25/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs --warn-unknown-format-calls --halt-at-warn '; echo MCFLAGS += ' '; echo CFLAGS += ' '; echo JAVACFLAGS += '-J"-Xmx1024m" '; echo CSCFLAGS += ' '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-11-25/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-11-25/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 = '/home/mercury/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-11-25/stage2/scripts/mmc --make --options-file - format_after_switch.depend gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-11-25/tests/valid' gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-11-25/tests/valid' { echo MCFLAGS += '--grade java --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-11-25/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs --warn-unknown-format-calls --halt-at-warn '; echo MCFLAGS += ' '; echo CFLAGS += ' '; echo JAVACFLAGS += '-J"-Xmx1024m" '; echo CSCFLAGS += ' '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-11-25/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-11-25/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 = '/home/mercury/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-11-25/stage2/scripts/mmc --make --options-file - format_after_switch.class Making Mercury/int3s/format_after_switch.int3 Making Mercury/ints/format_after_switch.int Making Mercury/javas/jmercury/format_after_switch.java Making Mercury/classes/jmercury/format_after_switch.class Mercury/javas/jmercury/format_after_switch.java:15: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] format_after_switch__field_types_message_type_0_0 = new jmercury.runtime.PseudoTypeInfo[1]; ^ Mercury/javas/jmercury/format_after_switch.java:16: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc format_after_switch__du_functor_desc_message_type_0_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/format_after_switch.java:17: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] format_after_switch__field_types_message_type_0_1 = new jmercury.runtime.PseudoTypeInfo[1]; ^ Mercury/javas/jmercury/format_after_switch.java:18: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc format_after_switch__du_functor_desc_message_type_0_1 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/format_after_switch.java:19: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc format_after_switch__du_functor_desc_message_type_0_2 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/format_after_switch.java:20: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] format_after_switch__du_stag_ordered_message_type_0_0 = new jmercury.runtime.DuFunctorDesc[3]; ^ Mercury/javas/jmercury/format_after_switch.java:21: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] format_after_switch__du_ptag_ordered_message_type_0 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/format_after_switch.java:22: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] format_after_switch__du_name_ordered_message_type_0 = new jmercury.runtime.DuFunctorDesc[3]; ^ Mercury/javas/jmercury/format_after_switch.java:24: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct format_after_switch__type_ctor_info_message_type_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/format_after_switch.java:131: error: package string__parse_util does not exist private static final string__parse_util.String_format_flags_0[] MR_scalar_common_1 = new string__parse_util.String_format_flags_0[1]; ^ Mercury/javas/jmercury/format_after_switch.java:484: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/format_after_switch.java:150: error: package cord does not exist public static cord.Cord_1 ^ Mercury/javas/jmercury/format_after_switch.java:204: error: package cord does not exist public static cord.Cord_1 ^ Mercury/javas/jmercury/format_after_switch.java:271: error: package builtin does not exist public static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/format_after_switch.java:442: error: package jmercury.runtime does not exist implements jmercury.runtime.MethodPtr2 ^ Mercury/javas/jmercury/format_after_switch.java:15: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] format_after_switch__field_types_message_type_0_0 = new jmercury.runtime.PseudoTypeInfo[1]; ^ Mercury/javas/jmercury/format_after_switch.java:16: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc format_after_switch__du_functor_desc_message_type_0_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/format_after_switch.java:17: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] format_after_switch__field_types_message_type_0_1 = new jmercury.runtime.PseudoTypeInfo[1]; ^ Mercury/javas/jmercury/format_after_switch.java:18: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc format_after_switch__du_functor_desc_message_type_0_1 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/format_after_switch.java:19: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc format_after_switch__du_functor_desc_message_type_0_2 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/format_after_switch.java:20: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] format_after_switch__du_stag_ordered_message_type_0_0 = new jmercury.runtime.DuFunctorDesc[3]; ^ Mercury/javas/jmercury/format_after_switch.java:21: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] format_after_switch__du_ptag_ordered_message_type_0 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/format_after_switch.java:22: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] format_after_switch__du_name_ordered_message_type_0 = new jmercury.runtime.DuFunctorDesc[3]; ^ Mercury/javas/jmercury/format_after_switch.java:24: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct format_after_switch__type_ctor_info_message_type_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/format_after_switch.java:29: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0; ^ Mercury/javas/jmercury/format_after_switch.java:29: error: cannot find symbol (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0; ^ symbol: variable builtin location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:34: error: cannot find symbol private_builtin.MR_SECTAG_REMOTE_FULL_WORD, ^ symbol: variable private_builtin location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:42: error: cannot find symbol private_builtin.MR_FUNCTOR_SUBTYPE_NONE, ^ symbol: variable private_builtin location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:46: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0; ^ Mercury/javas/jmercury/format_after_switch.java:46: error: cannot find symbol (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0; ^ symbol: variable builtin location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:51: error: cannot find symbol private_builtin.MR_SECTAG_REMOTE_FULL_WORD, ^ symbol: variable private_builtin location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:59: error: cannot find symbol private_builtin.MR_FUNCTOR_SUBTYPE_NONE, ^ symbol: variable private_builtin location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:66: error: cannot find symbol private_builtin.MR_SECTAG_REMOTE_FULL_WORD, ^ symbol: variable private_builtin location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:74: error: cannot find symbol private_builtin.MR_FUNCTOR_SUBTYPE_NONE, ^ symbol: variable private_builtin location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:84: error: package jmercury.runtime does not exist new jmercury.runtime.DuPtagLayout( ^ Mercury/javas/jmercury/format_after_switch.java:86: error: cannot find symbol private_builtin.MR_SECTAG_REMOTE_FULL_WORD, ^ symbol: variable private_builtin location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:108: error: package jmercury.runtime does not exist jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_DU, ^ Mercury/javas/jmercury/format_after_switch.java:113: error: package jmercury.runtime does not exist new jmercury.runtime.TypeFunctors( ^ Mercury/javas/jmercury/format_after_switch.java:116: error: package jmercury.runtime does not exist new jmercury.runtime.TypeLayout( ^ Mercury/javas/jmercury/format_after_switch.java:131: error: package string__parse_util does not exist private static final string__parse_util.String_format_flags_0[] MR_scalar_common_1 = new string__parse_util.String_format_flags_0[1]; ^ Mercury/javas/jmercury/format_after_switch.java:135: error: package string__parse_util does not exist new string__parse_util.String_format_flags_0( ^ Mercury/javas/jmercury/format_after_switch.java:136: error: package string__parse_util does not exist string__parse_util.String_format_flag_hash_0.K0, ^ Mercury/javas/jmercury/format_after_switch.java:137: error: package string__parse_util does not exist string__parse_util.String_format_flag_space_0.K0, ^ Mercury/javas/jmercury/format_after_switch.java:138: error: package string__parse_util does not exist string__parse_util.String_format_flag_zero_0.K0, ^ Mercury/javas/jmercury/format_after_switch.java:139: error: package string__parse_util does not exist string__parse_util.String_format_flag_minus_0.K0, ^ Mercury/javas/jmercury/format_after_switch.java:140: error: package string__parse_util does not exist string__parse_util.String_format_flag_plus_0.K0 ^ Mercury/javas/jmercury/format_after_switch.java:154: error: package cord does not exist cord.Cord_1 Cord_4 = null; ^ Mercury/javas/jmercury/format_after_switch.java:155: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_11_11 = null; ^ Mercury/javas/jmercury/format_after_switch.java:163: error: package string__parse_util does not exist string__parse_util.String_format_flags_0 Var_26 = (string__parse_util.String_format_flags_0) format_after_switch.MR_scalar_common_1[0]; ^ Mercury/javas/jmercury/format_after_switch.java:163: error: package string__parse_util does not exist string__parse_util.String_format_flags_0 Var_26 = (string__parse_util.String_format_flags_0) format_after_switch.MR_scalar_common_1[0]; ^ Mercury/javas/jmercury/format_after_switch.java:167: error: cannot find symbol Var_20 = string__format.format_signed_int_component_nowidth_noprec_3_p_0(Var_26, Num_5); ^ symbol: variable string__format location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:171: error: cannot find symbol Str_7 = string.f_43_43_2_f_0(Var_27, Var_20); ^ symbol: variable string location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:178: error: package string__parse_util does not exist string__parse_util.String_format_flags_0 Var_18 = (string__parse_util.String_format_flags_0) format_after_switch.MR_scalar_common_1[0]; ^ Mercury/javas/jmercury/format_after_switch.java:178: error: package string__parse_util does not exist string__parse_util.String_format_flags_0 Var_18 = (string__parse_util.String_format_flags_0) format_after_switch.MR_scalar_common_1[0]; ^ Mercury/javas/jmercury/format_after_switch.java:183: error: cannot find symbol Var_12 = string__format.format_signed_int_component_nowidth_noprec_3_p_0(Var_18, Num_28); ^ symbol: variable string__format location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:187: error: cannot find symbol Str_7 = string.f_43_43_2_f_0(Var_19, Var_12); ^ symbol: variable string location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:195: error: package jmercury.runtime does not exist throw new jmercury.runtime.UnreachableDefault(); ^ Mercury/javas/jmercury/format_after_switch.java:197: error: cannot find symbol TypeCtorInfo_11_11 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_string_0); ^ symbol: variable builtin location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:197: error: package jmercury.runtime does not exist TypeCtorInfo_11_11 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_string_0); ^ Mercury/javas/jmercury/format_after_switch.java:199: error: cannot find symbol Cord_4 = cord.singleton_1_f_0(TypeCtorInfo_11_11, ((java.lang.Object) (Str_7))); ^ symbol: variable cord location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:208: error: package cord does not exist cord.Cord_1 Cord_4 = null; ^ Mercury/javas/jmercury/format_after_switch.java:209: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_11_11 = null; ^ Mercury/javas/jmercury/format_after_switch.java:217: error: package string__parse_util does not exist string__parse_util.String_format_flags_0 Var_34 = (string__parse_util.String_format_flags_0) format_after_switch.MR_scalar_common_1[0]; ^ Mercury/javas/jmercury/format_after_switch.java:217: error: package string__parse_util does not exist string__parse_util.String_format_flags_0 Var_34 = (string__parse_util.String_format_flags_0) format_after_switch.MR_scalar_common_1[0]; ^ Mercury/javas/jmercury/format_after_switch.java:221: error: cannot find symbol Var_28 = string__format.format_signed_int_component_nowidth_noprec_3_p_0(Var_34, Num_5); ^ symbol: variable string__format location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:225: error: cannot find symbol Str_7 = string.f_43_43_2_f_0(Var_35, Var_28); ^ symbol: variable string location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:232: error: package string__parse_util does not exist string__parse_util.String_format_flags_0 Var_26 = (string__parse_util.String_format_flags_0) format_after_switch.MR_scalar_common_1[0]; ^ Mercury/javas/jmercury/format_after_switch.java:232: error: package string__parse_util does not exist string__parse_util.String_format_flags_0 Var_26 = (string__parse_util.String_format_flags_0) format_after_switch.MR_scalar_common_1[0]; ^ Mercury/javas/jmercury/format_after_switch.java:237: error: cannot find symbol Var_20 = string__format.format_signed_int_component_nowidth_noprec_3_p_0(Var_26, Num_36); ^ symbol: variable string__format location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:241: error: cannot find symbol Str_7 = string.f_43_43_2_f_0(Var_27, Var_20); ^ symbol: variable string location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:248: error: package string__parse_util does not exist string__parse_util.String_format_flags_0 Var_18 = (string__parse_util.String_format_flags_0) format_after_switch.MR_scalar_common_1[0]; ^ Mercury/javas/jmercury/format_after_switch.java:248: error: package string__parse_util does not exist string__parse_util.String_format_flags_0 Var_18 = (string__parse_util.String_format_flags_0) format_after_switch.MR_scalar_common_1[0]; ^ Mercury/javas/jmercury/format_after_switch.java:253: error: cannot find symbol Var_12 = string__format.format_signed_int_component_nowidth_noprec_3_p_0(Var_18, Num_37); ^ symbol: variable string__format location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:257: error: cannot find symbol Str_7 = string.f_43_43_2_f_0(Var_19, Var_12); ^ symbol: variable string location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:262: error: package jmercury.runtime does not exist throw new jmercury.runtime.UnreachableDefault(); ^ Mercury/javas/jmercury/format_after_switch.java:264: error: cannot find symbol TypeCtorInfo_11_11 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_string_0); ^ symbol: variable builtin location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:264: error: package jmercury.runtime does not exist TypeCtorInfo_11_11 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_string_0); ^ Mercury/javas/jmercury/format_after_switch.java:266: error: cannot find symbol Cord_4 = cord.singleton_1_f_0(TypeCtorInfo_11_11, ((java.lang.Object) (Str_7))); ^ symbol: variable cord location: class format_after_switch Mercury/javas/jmercury/format_after_switch.java:277: error: package builtin does not exist builtin.Comparison_result_0 HeadVar__1_1 = null; ^ Mercury/javas/jmercury/format_after_switch.java:283: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K0; ^ Mercury/javas/jmercury/format_after_switch.java:295: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K1; ^ Mercury/javas/jmercury/format_after_switch.java:300: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K2; ^ Mercury/javas/jmercury/format_after_switch.java:302: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K0; ^ Mercury/javas/jmercury/format_after_switch.java:308: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K1; ^ Mercury/javas/jmercury/format_after_switch.java:311: error: package jmercury.runtime does not exist throw new jmercury.runtime.UnreachableDefault(); ^ Mercury/javas/jmercury/format_after_switch.java:317: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K2; ^ Mercury/javas/jmercury/format_after_switch.java:326: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K1; ^ Mercury/javas/jmercury/format_after_switch.java:331: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K2; ^ Mercury/javas/jmercury/format_after_switch.java:333: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K0; ^ Mercury/javas/jmercury/format_after_switch.java:338: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K1; ^ Mercury/javas/jmercury/format_after_switch.java:341: error: package jmercury.runtime does not exist throw new jmercury.runtime.UnreachableDefault(); ^ Mercury/javas/jmercury/format_after_switch.java:348: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K2; ^ Mercury/javas/jmercury/format_after_switch.java:351: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K0; ^ Mercury/javas/jmercury/format_after_switch.java:354: error: package jmercury.runtime does not exist throw new jmercury.runtime.UnreachableDefault(); ^ Mercury/javas/jmercury/format_after_switch.java:358: error: package jmercury.runtime does not exist throw new jmercury.runtime.UnreachableDefault(); ^ Mercury/javas/jmercury/format_after_switch.java:369: error: package builtin does not exist builtin.Comparison_result_0 conv0_HeadVar__1_1 = null; ^ Mercury/javas/jmercury/format_after_switch.java:422: error: package jmercury.runtime does not exist throw new jmercury.runtime.UnreachableDefault(); ^ Mercury/javas/jmercury/format_after_switch.java:471: error: package jmercury.runtime does not exist throw new jmercury.runtime.UnreachableDefault(); ^ 98 errors ** Error making `Mercury/classes/jmercury/format_after_switch.class'. gmake[3]: *** [/tmp/mmake.Zoww6R:1511: format_after_switch.class] Error 1 gmake[3]: Target 'format_after_switch.runtest' not remade because of errors. gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-11-25/tests/valid'