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 -O0 --deforestation '; 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 - bug85.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 -O0 --deforestation '; 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 - bug85.class Making Mercury/int3s/bug85.int3 Making Mercury/ints/bug85.int Making Mercury/javas/jmercury/bug85.java Making Mercury/classes/jmercury/bug85.class Mercury/javas/jmercury/bug85.java:15: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug85__enum_functor_desc_conj_type_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:16: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug85__enum_functor_desc_conj_type_0_1 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:17: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug85__enum_ordinal_ordered_conj_type_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/bug85.java:18: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug85__enum_name_ordered_conj_type_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/bug85.java:20: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug85__type_ctor_info_conj_type_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug85.java:21: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug85__enum_functor_desc_coverage_after_known_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:22: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug85__enum_functor_desc_coverage_after_known_0_1 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:23: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug85__enum_ordinal_ordered_coverage_after_known_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/bug85.java:24: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug85__enum_name_ordered_coverage_after_known_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/bug85.java:26: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug85__type_ctor_info_coverage_after_known_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug85.java:27: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] bug85__field_types_coverage_point_info_0_0 = new jmercury.runtime.PseudoTypeInfo[1]; ^ Mercury/javas/jmercury/bug85.java:28: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc bug85__du_functor_desc_coverage_point_info_0_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:29: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] bug85__du_stag_ordered_coverage_point_info_0_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/bug85.java:30: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] bug85__du_ptag_ordered_coverage_point_info_0 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/bug85.java:31: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] bug85__du_name_ordered_coverage_point_info_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/bug85.java:33: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug85__type_ctor_info_coverage_point_info_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug85.java:34: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] bug85__field_types_coverage_profiling_options_0_0 = new jmercury.runtime.PseudoTypeInfo[1]; ^ Mercury/javas/jmercury/bug85.java:36: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc bug85__du_functor_desc_coverage_profiling_options_0_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:37: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] bug85__du_stag_ordered_coverage_profiling_options_0_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/bug85.java:38: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] bug85__du_ptag_ordered_coverage_profiling_options_0 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/bug85.java:39: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] bug85__du_name_ordered_coverage_profiling_options_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/bug85.java:41: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug85__type_ctor_info_coverage_profiling_options_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug85.java:42: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug85__enum_functor_desc_cp_type_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:43: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug85__enum_functor_desc_cp_type_0_1 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:44: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug85__enum_ordinal_ordered_cp_type_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/bug85.java:45: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug85__enum_name_ordered_cp_type_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/bug85.java:47: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug85__type_ctor_info_cp_type_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug85.java:48: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug85__enum_functor_desc_determinism_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:49: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug85__enum_functor_desc_determinism_0_1 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:50: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug85__enum_ordinal_ordered_determinism_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/bug85.java:51: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug85__enum_name_ordered_determinism_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/bug85.java:53: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug85__type_ctor_info_determinism_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug85.java:54: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] bug85__field_types_dp_coverage_goal_info_0_0 = new jmercury.runtime.PseudoTypeInfo[2]; ^ Mercury/javas/jmercury/bug85.java:55: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc bug85__du_functor_desc_dp_coverage_goal_info_0_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:56: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] bug85__du_stag_ordered_dp_coverage_goal_info_0_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/bug85.java:57: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] bug85__du_ptag_ordered_dp_coverage_goal_info_0 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/bug85.java:58: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] bug85__du_name_ordered_dp_coverage_goal_info_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/bug85.java:60: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug85__type_ctor_info_dp_coverage_goal_info_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug85.java:61: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct maybe__ti_maybe_1bug85__type_ctor_info_dp_coverage_goal_info_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/bug85.java:62: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] bug85__field_types_dp_goal_info_0_0 = new jmercury.runtime.PseudoTypeInfo[2]; ^ Mercury/javas/jmercury/bug85.java:63: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc bug85__du_functor_desc_dp_goal_info_0_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:64: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] bug85__du_stag_ordered_dp_goal_info_0_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/bug85.java:65: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] bug85__du_ptag_ordered_dp_goal_info_0 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/bug85.java:66: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] bug85__du_name_ordered_dp_goal_info_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/bug85.java:68: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug85__type_ctor_info_dp_goal_info_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug85.java:69: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug85__enum_functor_desc_goal_is_mdprof_inst_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:70: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug85__enum_functor_desc_goal_is_mdprof_inst_0_1 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:71: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug85__enum_ordinal_ordered_goal_is_mdprof_inst_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/bug85.java:72: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug85__enum_name_ordered_goal_is_mdprof_inst_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/bug85.java:74: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug85__type_ctor_info_goal_is_mdprof_inst_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug85.java:75: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug85__enum_functor_desc_goal_trivial_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:76: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug85__enum_functor_desc_goal_trivial_0_1 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:77: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug85__enum_ordinal_ordered_goal_trivial_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/bug85.java:78: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug85__enum_name_ordered_goal_trivial_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/bug85.java:80: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug85__type_ctor_info_goal_trivial_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug85.java:81: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] bug85__field_types_hlds_goal_0_0 = new jmercury.runtime.PseudoTypeInfo[2]; ^ Mercury/javas/jmercury/bug85.java:83: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc bug85__du_functor_desc_hlds_goal_0_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:84: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] bug85__du_stag_ordered_hlds_goal_0_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/bug85.java:85: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] bug85__du_ptag_ordered_hlds_goal_0 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/bug85.java:86: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] bug85__du_name_ordered_hlds_goal_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/bug85.java:88: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug85__type_ctor_info_hlds_goal_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug85.java:89: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct list__ti_list_1bug85__type_ctor_info_hlds_goal_0 = new jmercury.runtime.TypeInfo_Struct(); ^ Mercury/javas/jmercury/bug85.java:90: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] bug85__field_types_hlds_goal_expr_0_0 = new jmercury.runtime.PseudoTypeInfo[2]; ^ Mercury/javas/jmercury/bug85.java:91: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc bug85__du_functor_desc_hlds_goal_expr_0_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:92: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] bug85__field_types_hlds_goal_expr_0_1 = new jmercury.runtime.PseudoTypeInfo[1]; ^ Mercury/javas/jmercury/bug85.java:93: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc bug85__du_functor_desc_hlds_goal_expr_0_1 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:94: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] bug85__du_stag_ordered_hlds_goal_expr_0_0 = new jmercury.runtime.DuFunctorDesc[2]; ^ Mercury/javas/jmercury/bug85.java:95: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] bug85__du_ptag_ordered_hlds_goal_expr_0 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/bug85.java:96: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] bug85__du_name_ordered_hlds_goal_expr_0 = new jmercury.runtime.DuFunctorDesc[2]; ^ Mercury/javas/jmercury/bug85.java:98: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug85__type_ctor_info_hlds_goal_expr_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug85.java:99: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug85__enum_functor_desc_hlds_goal_info_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:100: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug85__enum_ordinal_ordered_hlds_goal_info_0 = new jmercury.runtime.EnumFunctorDesc[1]; ^ Mercury/javas/jmercury/bug85.java:101: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug85__enum_name_ordered_hlds_goal_info_0 = new jmercury.runtime.EnumFunctorDesc[1]; ^ Mercury/javas/jmercury/bug85.java:103: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug85__type_ctor_info_hlds_goal_info_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug85.java:104: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug85__type_ctor_info_hlds_goals_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug85.java:105: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug85__enum_functor_desc_port_counts_give_coverage_after_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:106: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug85__enum_functor_desc_port_counts_give_coverage_after_0_1 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:107: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug85__enum_ordinal_ordered_port_counts_give_coverage_after_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/bug85.java:108: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug85__enum_name_ordered_port_counts_give_coverage_after_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/bug85.java:110: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug85__type_ctor_info_port_counts_give_coverage_after_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug85.java:111: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] bug85__field_types_proc_coverage_info_0_0 = new jmercury.runtime.PseudoTypeInfo[1]; ^ Mercury/javas/jmercury/bug85.java:113: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc bug85__du_functor_desc_proc_coverage_info_0_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/bug85.java:114: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] bug85__du_stag_ordered_proc_coverage_info_0_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/bug85.java:115: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] bug85__du_ptag_ordered_proc_coverage_info_0 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/bug85.java:116: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] bug85__du_name_ordered_proc_coverage_info_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/bug85.java:118: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug85__type_ctor_info_proc_coverage_info_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug85.java:874: 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/bug85.java:2797: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/bug85.java:2817: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/bug85.java:2914: error: package jmercury.runtime does not exist extends jmercury.runtime.MercuryEnum ^ Mercury/javas/jmercury/bug85.java:2915: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/bug85.java:2883: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/bug85.java:2902: error: package jmercury.runtime does not exist extends jmercury.runtime.MercuryEnum ^ Mercury/javas/jmercury/bug85.java:2903: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/bug85.java:1045: error: package builtin does not exist public static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/bug85.java:1084: error: package builtin does not exist public static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/bug85.java:2743: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/bug85.java:1123: error: package builtin does not exist public static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/bug85.java:2760: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/bug85.java:1173: error: package builtin does not exist public static builtin.Comparison_result_0 ^ 100 errors ** Error making `Mercury/classes/jmercury/bug85.class'. make[3]: *** [/tmp/mmake.Kscuda:1500: bug85.class] Error 1 make[3]: Target 'bug85.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/valid'