MERCURY_OPTIONS= make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-10/tests/valid' { echo MCFLAGS += '--grade java --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-10/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-08-10/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-10/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-08-10/stage2/scripts/mmc --make --options-file - hawkins_switch_bug.depend make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-10/tests/valid' make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-10/tests/valid' { echo MCFLAGS += '--grade java --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-10/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-08-10/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-10/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-08-10/stage2/scripts/mmc --make --options-file - hawkins_switch_bug.class Making Mercury/int3s/hawkins_switch_bug.int3 Making Mercury/ints/hawkins_switch_bug.int Making Mercury/javas/jmercury/hawkins_switch_bug.java Making Mercury/classes/jmercury/hawkins_switch_bug.class Mercury/javas/jmercury/hawkins_switch_bug.java:15: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc hawkins_switch_bug__enum_functor_desc_kind_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/hawkins_switch_bug.java:16: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc hawkins_switch_bug__enum_functor_desc_kind_0_1 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/hawkins_switch_bug.java:17: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc hawkins_switch_bug__enum_functor_desc_kind_0_2 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/hawkins_switch_bug.java:18: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] hawkins_switch_bug__enum_ordinal_ordered_kind_0 = new jmercury.runtime.EnumFunctorDesc[3]; ^ Mercury/javas/jmercury/hawkins_switch_bug.java:19: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] hawkins_switch_bug__enum_name_ordered_kind_0 = new jmercury.runtime.EnumFunctorDesc[3]; ^ Mercury/javas/jmercury/hawkins_switch_bug.java:21: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct hawkins_switch_bug__type_ctor_info_kind_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/hawkins_switch_bug.java:82: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct[] MR_scalar_common_1 = new jmercury.runtime.TypeInfo_Struct[1]; ^ Mercury/javas/jmercury/hawkins_switch_bug.java:248: error: package jmercury.runtime does not exist extends jmercury.runtime.MercuryEnum ^ Mercury/javas/jmercury/hawkins_switch_bug.java:249: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/hawkins_switch_bug.java:101: error: package tree234 does not exist tree234.Tree234_2 B_4) ^ Mercury/javas/jmercury/hawkins_switch_bug.java:140: error: package builtin does not exist public static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/hawkins_switch_bug.java:204: error: package jmercury.runtime does not exist implements jmercury.runtime.MethodPtr2 ^ Mercury/javas/jmercury/hawkins_switch_bug.java:15: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc hawkins_switch_bug__enum_functor_desc_kind_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/hawkins_switch_bug.java:16: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc hawkins_switch_bug__enum_functor_desc_kind_0_1 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/hawkins_switch_bug.java:17: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc hawkins_switch_bug__enum_functor_desc_kind_0_2 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/hawkins_switch_bug.java:18: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] hawkins_switch_bug__enum_ordinal_ordered_kind_0 = new jmercury.runtime.EnumFunctorDesc[3]; ^ Mercury/javas/jmercury/hawkins_switch_bug.java:19: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] hawkins_switch_bug__enum_name_ordered_kind_0 = new jmercury.runtime.EnumFunctorDesc[3]; ^ Mercury/javas/jmercury/hawkins_switch_bug.java:21: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct hawkins_switch_bug__type_ctor_info_kind_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/hawkins_switch_bug.java:59: error: package jmercury.runtime does not exist jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_ENUM, ^ Mercury/javas/jmercury/hawkins_switch_bug.java:64: error: package jmercury.runtime does not exist new jmercury.runtime.TypeFunctors( ^ Mercury/javas/jmercury/hawkins_switch_bug.java:67: error: package jmercury.runtime does not exist new jmercury.runtime.TypeLayout( ^ Mercury/javas/jmercury/hawkins_switch_bug.java:82: error: package jmercury.runtime does not exist private static final jmercury.runtime.TypeInfo_Struct[] MR_scalar_common_1 = new jmercury.runtime.TypeInfo_Struct[1]; ^ Mercury/javas/jmercury/hawkins_switch_bug.java:86: error: package jmercury.runtime does not exist new jmercury.runtime.TypeInfo_Struct( ^ Mercury/javas/jmercury/hawkins_switch_bug.java:87: error: cannot find symbol ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(set_ordlist.set_ordlist__type_ctor_info_set_ordlist_1))), ^ symbol: variable set_ordlist location: class hawkins_switch_bug Mercury/javas/jmercury/hawkins_switch_bug.java:87: error: package jmercury.runtime does not exist ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(set_ordlist.set_ordlist__type_ctor_info_set_ordlist_1))), ^ Mercury/javas/jmercury/hawkins_switch_bug.java:88: error: cannot find symbol ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0))) ^ symbol: variable builtin location: class hawkins_switch_bug Mercury/javas/jmercury/hawkins_switch_bug.java:88: error: package jmercury.runtime does not exist ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0))) ^ Mercury/javas/jmercury/hawkins_switch_bug.java:105: error: cannot find symbol switch (Kind_3.MR_value) { ^ symbol: variable MR_value location: variable Kind_3 of type Kind_0 Mercury/javas/jmercury/hawkins_switch_bug.java:105: error: illegal start of type switch (Kind_3.MR_value) { ^ Mercury/javas/jmercury/hawkins_switch_bug.java:113: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_10_10 = jmercury.runtime.TypeInfo_Struct.maybe_new(hawkins_switch_bug.MR_scalar_common_1[0]); ^ Mercury/javas/jmercury/hawkins_switch_bug.java:113: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeInfo_10_10 = jmercury.runtime.TypeInfo_Struct.maybe_new(hawkins_switch_bug.MR_scalar_common_1[0]); ^ Mercury/javas/jmercury/hawkins_switch_bug.java:118: error: cannot find symbol java.lang.Object [] result = map.f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_95_115_101_97_114_99_104_95_95_91_75_32_61_32_105_110_116_93_95_48_95_49_3_p_0(TypeInfo_10_10, B_4, Var_7); ^ symbol: variable map location: class hawkins_switch_bug Mercury/javas/jmercury/hawkins_switch_bug.java:126: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_11_11 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0); ^ Mercury/javas/jmercury/hawkins_switch_bug.java:126: error: cannot find symbol jmercury.runtime.TypeInfo_Struct TypeCtorInfo_11_11 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0); ^ symbol: variable builtin location: class hawkins_switch_bug Mercury/javas/jmercury/hawkins_switch_bug.java:126: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_11_11 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0); ^ Mercury/javas/jmercury/hawkins_switch_bug.java:127: error: package set_ordlist does not exist set_ordlist.Set_ordlist_1 _PDeps_8 = null; ^ Mercury/javas/jmercury/hawkins_switch_bug.java:130: error: cannot find symbol _PDeps_8 = set.init_0_f_0(TypeCtorInfo_11_11); ^ symbol: variable set location: class hawkins_switch_bug Mercury/javas/jmercury/hawkins_switch_bug.java:136: error: package jmercury.runtime does not exist throw new jmercury.runtime.UnreachableDefault(); ^ Mercury/javas/jmercury/hawkins_switch_bug.java:146: error: package builtin does not exist builtin.Comparison_result_0 HeadVar__1_1 = null; ^ Mercury/javas/jmercury/hawkins_switch_bug.java:147: error: cannot find symbol int Cast_HeadVar1_4 = (int) HeadVar__2_2.MR_value; ^ symbol: variable MR_value location: variable HeadVar__2_2 of type Kind_0 Mercury/javas/jmercury/hawkins_switch_bug.java:148: error: cannot find symbol int Cast_HeadVar2_5 = (int) HeadVar__3_3.MR_value; ^ symbol: variable MR_value location: variable HeadVar__3_3 of type Kind_0 Mercury/javas/jmercury/hawkins_switch_bug.java:152: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K1; ^ Mercury/javas/jmercury/hawkins_switch_bug.java:157: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K2; ^ Mercury/javas/jmercury/hawkins_switch_bug.java:159: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K0; ^ Mercury/javas/jmercury/hawkins_switch_bug.java:170: error: package builtin does not exist builtin.Comparison_result_0 conv0_HeadVar__1_1 = null; ^ Mercury/javas/jmercury/hawkins_switch_bug.java:184: error: cannot find symbol boolean succeeded = (HeadVar__1_1.MR_value == HeadVar__2_2.MR_value); ^ symbol: variable MR_value location: variable HeadVar__1_1 of type Kind_0 Mercury/javas/jmercury/hawkins_switch_bug.java:184: error: cannot find symbol boolean succeeded = (HeadVar__1_1.MR_value == HeadVar__2_2.MR_value); ^ symbol: variable MR_value location: variable HeadVar__2_2 of type Kind_0 Mercury/javas/jmercury/hawkins_switch_bug.java:233: error: package jmercury.runtime does not exist throw new jmercury.runtime.UnreachableDefault(); ^ 48 errors ** Error making `Mercury/classes/jmercury/hawkins_switch_bug.class'. make[3]: *** [/tmp/mmake.KAfU6A:1500: hawkins_switch_bug.class] Error 1 make[3]: Target 'hawkins_switch_bug.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-10/tests/valid'