MERCURY_OPTIONS= make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-02/tests/valid' { echo MCFLAGS += '--grade java --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-02/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs '; echo MCFLAGS += ' '; echo CFLAGS += ' '; echo JAVACFLAGS += '-J"-Xmx1024m" '; echo CSCFLAGS += ' '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-02/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-02/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-09-02/stage2/scripts/mmc --make --options-file - switch_detection_bug_2.depend make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-02/tests/valid' make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-02/tests/valid' { echo MCFLAGS += '--grade java --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-02/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs '; echo MCFLAGS += ' '; echo CFLAGS += ' '; echo JAVACFLAGS += '-J"-Xmx1024m" '; echo CSCFLAGS += ' '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-02/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-02/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-09-02/stage2/scripts/mmc --make --options-file - switch_detection_bug_2.class Making Mercury/int3s/switch_detection_bug_2.int3 Making Mercury/ints/switch_detection_bug_2.int Making Mercury/javas/jmercury/switch_detection_bug_2.java Making Mercury/classes/jmercury/switch_detection_bug_2.class Mercury/javas/jmercury/switch_detection_bug_2.java:15: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct list__ti_list_1switch_detection_bug_2__type_ctor_info_edit_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:16: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_diff_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:17: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct pair__ti_pair_2builtin__type_ctor_info_int_0builtin__type_ctor_info_int_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:18: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] switch_detection_bug_2__field_types_edit_0_0 = new jmercury.runtime.PseudoTypeInfo[2]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:19: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc switch_detection_bug_2__du_functor_desc_edit_0_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:20: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] switch_detection_bug_2__field_types_edit_0_1 = new jmercury.runtime.PseudoTypeInfo[2]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:21: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc switch_detection_bug_2__du_functor_desc_edit_0_1 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:22: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] switch_detection_bug_2__field_types_edit_0_2 = new jmercury.runtime.PseudoTypeInfo[2]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:23: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc switch_detection_bug_2__du_functor_desc_edit_0_2 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:24: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] switch_detection_bug_2__du_stag_ordered_edit_0_0 = new jmercury.runtime.DuFunctorDesc[3]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:25: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] switch_detection_bug_2__du_ptag_ordered_edit_0 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:26: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] switch_detection_bug_2__du_name_ordered_edit_0 = new jmercury.runtime.DuFunctorDesc[3]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:28: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_edit_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:29: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_pos_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:30: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_segment_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:31: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] switch_detection_bug_2__field_types_side_by_side_info_0_0 = new jmercury.runtime.PseudoTypeInfo[5]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:32: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc switch_detection_bug_2__du_functor_desc_side_by_side_info_0_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:33: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] switch_detection_bug_2__du_stag_ordered_side_by_side_info_0_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:34: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] switch_detection_bug_2__du_ptag_ordered_side_by_side_info_0 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:35: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] switch_detection_bug_2__du_name_ordered_side_by_side_info_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:37: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_side_by_side_info_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:285: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct[] MR_scalar_common_1 = new jmercury.runtime.TypeInfo_Struct[2]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:1180: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/switch_detection_bug_2.java:311: error: package list does not exist list.List_1 HeadVar__3_3) ^ Mercury/javas/jmercury/switch_detection_bug_2.java:1110: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/switch_detection_bug_2.java:353: error: package list does not exist list.List_1 HeadVar__2_2, ^ Mercury/javas/jmercury/switch_detection_bug_2.java:354: error: package list does not exist list.List_1 HeadVar__3_3) ^ Mercury/javas/jmercury/switch_detection_bug_2.java:351: error: package builtin does not exist public static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/switch_detection_bug_2.java:382: error: package builtin does not exist public static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/switch_detection_bug_2.java:538: error: package builtin does not exist public static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/switch_detection_bug_2.java:579: error: package pair does not exist pair.Pair_2 HeadVar__2_2, ^ Mercury/javas/jmercury/switch_detection_bug_2.java:580: error: package pair does not exist pair.Pair_2 HeadVar__3_3) ^ Mercury/javas/jmercury/switch_detection_bug_2.java:577: error: package builtin does not exist public static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/switch_detection_bug_2.java:608: error: package builtin does not exist public static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/switch_detection_bug_2.java:748: error: package list does not exist list.List_1 HeadVar__1_1, ^ Mercury/javas/jmercury/switch_detection_bug_2.java:749: error: package list does not exist list.List_1 HeadVar__2_2) ^ Mercury/javas/jmercury/switch_detection_bug_2.java:910: error: package pair does not exist pair.Pair_2 HeadVar__1_1, ^ Mercury/javas/jmercury/switch_detection_bug_2.java:911: error: package pair does not exist pair.Pair_2 HeadVar__2_2) ^ Mercury/javas/jmercury/switch_detection_bug_2.java:1184: error: package bool does not exist public bool.Bool_0 F3; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:1185: error: package bool does not exist public bool.Bool_0 F4; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:1186: error: package bool does not exist public bool.Bool_0 F5; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:1196: error: package bool does not exist bool.Bool_0 F3, ^ Mercury/javas/jmercury/switch_detection_bug_2.java:1197: error: package bool does not exist bool.Bool_0 F4, ^ Mercury/javas/jmercury/switch_detection_bug_2.java:1198: error: package bool does not exist bool.Bool_0 F5) ^ Mercury/javas/jmercury/switch_detection_bug_2.java:996: error: package jmercury.runtime does not exist implements jmercury.runtime.MethodPtr2 ^ Mercury/javas/jmercury/switch_detection_bug_2.java:1116: error: package pair does not exist public pair.Pair_2 F1; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:1117: error: package pair does not exist public pair.Pair_2 F2; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:1125: error: package pair does not exist pair.Pair_2 F1, ^ Mercury/javas/jmercury/switch_detection_bug_2.java:1126: error: package pair does not exist pair.Pair_2 F2) ^ Mercury/javas/jmercury/switch_detection_bug_2.java:1137: error: package pair does not exist public pair.Pair_2 F1; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:1146: error: package pair does not exist pair.Pair_2 F1, ^ Mercury/javas/jmercury/switch_detection_bug_2.java:1159: error: package pair does not exist public pair.Pair_2 F2; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:1168: error: package pair does not exist pair.Pair_2 F2) ^ Mercury/javas/jmercury/switch_detection_bug_2.java:15: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct list__ti_list_1switch_detection_bug_2__type_ctor_info_edit_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:16: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_diff_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:17: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct pair__ti_pair_2builtin__type_ctor_info_int_0builtin__type_ctor_info_int_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:18: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] switch_detection_bug_2__field_types_edit_0_0 = new jmercury.runtime.PseudoTypeInfo[2]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:19: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc switch_detection_bug_2__du_functor_desc_edit_0_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:20: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] switch_detection_bug_2__field_types_edit_0_1 = new jmercury.runtime.PseudoTypeInfo[2]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:21: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc switch_detection_bug_2__du_functor_desc_edit_0_1 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:22: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] switch_detection_bug_2__field_types_edit_0_2 = new jmercury.runtime.PseudoTypeInfo[2]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:23: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc switch_detection_bug_2__du_functor_desc_edit_0_2 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:24: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] switch_detection_bug_2__du_stag_ordered_edit_0_0 = new jmercury.runtime.DuFunctorDesc[3]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:25: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] switch_detection_bug_2__du_ptag_ordered_edit_0 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:26: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] switch_detection_bug_2__du_name_ordered_edit_0 = new jmercury.runtime.DuFunctorDesc[3]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:28: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_edit_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:29: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_pos_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:30: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_segment_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:31: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] switch_detection_bug_2__field_types_side_by_side_info_0_0 = new jmercury.runtime.PseudoTypeInfo[5]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:32: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc switch_detection_bug_2__du_functor_desc_side_by_side_info_0_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:33: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] switch_detection_bug_2__du_stag_ordered_side_by_side_info_0_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:34: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] switch_detection_bug_2__du_ptag_ordered_side_by_side_info_0 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:35: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] switch_detection_bug_2__du_name_ordered_side_by_side_info_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:37: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_side_by_side_info_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/switch_detection_bug_2.java:42: error: cannot find symbol list.list__type_ctor_info_list_1, ^ symbol: variable list location: class switch_detection_bug_2 Mercury/javas/jmercury/switch_detection_bug_2.java:44: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct.maybe_new(switch_detection_bug_2.switch_detection_bug_2__type_ctor_info_edit_0) ^ Mercury/javas/jmercury/switch_detection_bug_2.java:51: error: package jmercury.runtime does not exist jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_EQUIV_GROUND, ^ Mercury/javas/jmercury/switch_detection_bug_2.java:56: error: package jmercury.runtime does not exist new jmercury.runtime.TypeFunctors( ^ Mercury/javas/jmercury/switch_detection_bug_2.java:59: error: package jmercury.runtime does not exist new jmercury.runtime.TypeLayout( ^ Mercury/javas/jmercury/switch_detection_bug_2.java:60: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) switch_detection_bug_2.list__ti_list_1switch_detection_bug_2__type_ctor_info_edit_0 ^ Mercury/javas/jmercury/switch_detection_bug_2.java:68: error: cannot find symbol pair.pair__type_ctor_info_pair_2, ^ symbol: variable pair location: class switch_detection_bug_2 Mercury/javas/jmercury/switch_detection_bug_2.java:70: error: cannot find symbol jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0), ^ symbol: variable builtin location: class switch_detection_bug_2 Mercury/javas/jmercury/switch_detection_bug_2.java:70: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0), ^ Mercury/javas/jmercury/switch_detection_bug_2.java:71: error: cannot find symbol jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0) ^ symbol: variable builtin location: class switch_detection_bug_2 Mercury/javas/jmercury/switch_detection_bug_2.java:71: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0) ^ Mercury/javas/jmercury/switch_detection_bug_2.java:75: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:75: error: cannot find symbol (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0; ^ symbol: variable builtin location: class switch_detection_bug_2 Mercury/javas/jmercury/switch_detection_bug_2.java:77: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) switch_detection_bug_2.pair__ti_pair_2builtin__type_ctor_info_int_0builtin__type_ctor_info_int_0; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:82: error: cannot find symbol private_builtin.MR_SECTAG_REMOTE_FULL_WORD, ^ symbol: variable private_builtin location: class switch_detection_bug_2 Mercury/javas/jmercury/switch_detection_bug_2.java:90: error: cannot find symbol private_builtin.MR_FUNCTOR_SUBTYPE_NONE, ^ symbol: variable private_builtin location: class switch_detection_bug_2 Mercury/javas/jmercury/switch_detection_bug_2.java:94: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) switch_detection_bug_2.pair__ti_pair_2builtin__type_ctor_info_int_0builtin__type_ctor_info_int_0; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:96: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:96: error: cannot find symbol (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0; ^ symbol: variable builtin location: class switch_detection_bug_2 Mercury/javas/jmercury/switch_detection_bug_2.java:101: error: cannot find symbol private_builtin.MR_SECTAG_REMOTE_FULL_WORD, ^ symbol: variable private_builtin location: class switch_detection_bug_2 Mercury/javas/jmercury/switch_detection_bug_2.java:109: error: cannot find symbol private_builtin.MR_FUNCTOR_SUBTYPE_NONE, ^ symbol: variable private_builtin location: class switch_detection_bug_2 Mercury/javas/jmercury/switch_detection_bug_2.java:113: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) switch_detection_bug_2.pair__ti_pair_2builtin__type_ctor_info_int_0builtin__type_ctor_info_int_0; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:115: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) switch_detection_bug_2.pair__ti_pair_2builtin__type_ctor_info_int_0builtin__type_ctor_info_int_0; ^ Mercury/javas/jmercury/switch_detection_bug_2.java:120: error: cannot find symbol private_builtin.MR_SECTAG_REMOTE_FULL_WORD, ^ symbol: variable private_builtin location: class switch_detection_bug_2 Mercury/javas/jmercury/switch_detection_bug_2.java:128: error: cannot find symbol private_builtin.MR_FUNCTOR_SUBTYPE_NONE, ^ symbol: variable private_builtin location: class switch_detection_bug_2 Mercury/javas/jmercury/switch_detection_bug_2.java:138: error: package jmercury.runtime does not exist new jmercury.runtime.DuPtagLayout( ^ 100 errors ** Error making `Mercury/classes/jmercury/switch_detection_bug_2.class'. make[3]: *** [/tmp/mmake.omAGlS:1500: switch_detection_bug_2.class] Error 1 make[3]: Target 'switch_detection_bug_2.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-02/tests/valid'