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 '; 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 - constrained_poly_multi.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 '; 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 - constrained_poly_multi.class Making Mercury/int3s/constrained_poly_multi.int3 Making Mercury/ints/constrained_poly_multi.int Making Mercury/javas/jmercury/constrained_poly_multi.java constrained_poly_multi.m:038: In clause for `test2': constrained_poly_multi.m:038: in argument 4 of call to predicate constrained_poly_multi.m:038: `constrained_poly_multi.either'/4: constrained_poly_multi.m:038: warning: unification of `V_4' and `V_5' cannot constrained_poly_multi.m:038: succeed. constrained_poly_multi.m:038: `V_4' has instantiatedness `unique(orange)', constrained_poly_multi.m:038: `V_5' has instantiatedness `bound(apple)'. Making Mercury/classes/jmercury/constrained_poly_multi.class Mercury/javas/jmercury/constrained_poly_multi.java:15: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc constrained_poly_multi__enum_functor_desc_either_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/constrained_poly_multi.java:16: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc constrained_poly_multi__enum_functor_desc_either_0_1 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/constrained_poly_multi.java:17: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] constrained_poly_multi__enum_ordinal_ordered_either_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/constrained_poly_multi.java:18: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] constrained_poly_multi__enum_name_ordered_either_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/constrained_poly_multi.java:20: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct constrained_poly_multi__type_ctor_info_either_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/constrained_poly_multi.java:21: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc constrained_poly_multi__enum_functor_desc_fruit_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/constrained_poly_multi.java:22: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc constrained_poly_multi__enum_functor_desc_fruit_0_1 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/constrained_poly_multi.java:23: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc constrained_poly_multi__enum_functor_desc_fruit_0_2 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/constrained_poly_multi.java:24: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] constrained_poly_multi__enum_ordinal_ordered_fruit_0 = new jmercury.runtime.EnumFunctorDesc[3]; ^ Mercury/javas/jmercury/constrained_poly_multi.java:25: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] constrained_poly_multi__enum_name_ordered_fruit_0 = new jmercury.runtime.EnumFunctorDesc[3]; ^ Mercury/javas/jmercury/constrained_poly_multi.java:27: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct constrained_poly_multi__type_ctor_info_fruit_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/constrained_poly_multi.java:330: error: package jmercury.runtime does not exist extends jmercury.runtime.MercuryEnum ^ Mercury/javas/jmercury/constrained_poly_multi.java:331: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/constrained_poly_multi.java:142: error: package builtin does not exist private static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/constrained_poly_multi.java:342: error: package jmercury.runtime does not exist extends jmercury.runtime.MercuryEnum ^ Mercury/javas/jmercury/constrained_poly_multi.java:343: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/constrained_poly_multi.java:181: error: package builtin does not exist private static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/constrained_poly_multi.java:268: error: package jmercury.runtime does not exist implements jmercury.runtime.MethodPtr2 ^ Mercury/javas/jmercury/constrained_poly_multi.java:15: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc constrained_poly_multi__enum_functor_desc_either_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/constrained_poly_multi.java:16: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc constrained_poly_multi__enum_functor_desc_either_0_1 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/constrained_poly_multi.java:17: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] constrained_poly_multi__enum_ordinal_ordered_either_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/constrained_poly_multi.java:18: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] constrained_poly_multi__enum_name_ordered_either_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/constrained_poly_multi.java:20: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct constrained_poly_multi__type_ctor_info_either_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/constrained_poly_multi.java:21: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc constrained_poly_multi__enum_functor_desc_fruit_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/constrained_poly_multi.java:22: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc constrained_poly_multi__enum_functor_desc_fruit_0_1 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/constrained_poly_multi.java:23: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc constrained_poly_multi__enum_functor_desc_fruit_0_2 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/constrained_poly_multi.java:24: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] constrained_poly_multi__enum_ordinal_ordered_fruit_0 = new jmercury.runtime.EnumFunctorDesc[3]; ^ Mercury/javas/jmercury/constrained_poly_multi.java:25: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] constrained_poly_multi__enum_name_ordered_fruit_0 = new jmercury.runtime.EnumFunctorDesc[3]; ^ Mercury/javas/jmercury/constrained_poly_multi.java:27: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct constrained_poly_multi__type_ctor_info_fruit_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/constrained_poly_multi.java:55: error: package jmercury.runtime does not exist jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_ENUM, ^ Mercury/javas/jmercury/constrained_poly_multi.java:60: error: package jmercury.runtime does not exist new jmercury.runtime.TypeFunctors( ^ Mercury/javas/jmercury/constrained_poly_multi.java:63: error: package jmercury.runtime does not exist new jmercury.runtime.TypeLayout( ^ Mercury/javas/jmercury/constrained_poly_multi.java:105: error: package jmercury.runtime does not exist jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_ENUM, ^ Mercury/javas/jmercury/constrained_poly_multi.java:110: error: package jmercury.runtime does not exist new jmercury.runtime.TypeFunctors( ^ Mercury/javas/jmercury/constrained_poly_multi.java:113: error: package jmercury.runtime does not exist new jmercury.runtime.TypeLayout( ^ Mercury/javas/jmercury/constrained_poly_multi.java:148: error: package builtin does not exist builtin.Comparison_result_0 HeadVar__1_1 = null; ^ Mercury/javas/jmercury/constrained_poly_multi.java:149: 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 Either_0 Mercury/javas/jmercury/constrained_poly_multi.java:150: 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 Either_0 Mercury/javas/jmercury/constrained_poly_multi.java:154: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K1; ^ Mercury/javas/jmercury/constrained_poly_multi.java:159: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K2; ^ Mercury/javas/jmercury/constrained_poly_multi.java:161: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K0; ^ Mercury/javas/jmercury/constrained_poly_multi.java:172: error: package builtin does not exist builtin.Comparison_result_0 conv0_HeadVar__1_1 = null; ^ Mercury/javas/jmercury/constrained_poly_multi.java:187: error: package builtin does not exist builtin.Comparison_result_0 HeadVar__1_1 = null; ^ Mercury/javas/jmercury/constrained_poly_multi.java:188: 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 Fruit_0 Mercury/javas/jmercury/constrained_poly_multi.java:189: 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 Fruit_0 Mercury/javas/jmercury/constrained_poly_multi.java:193: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K1; ^ Mercury/javas/jmercury/constrained_poly_multi.java:198: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K2; ^ Mercury/javas/jmercury/constrained_poly_multi.java:200: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K0; ^ Mercury/javas/jmercury/constrained_poly_multi.java:211: error: package builtin does not exist builtin.Comparison_result_0 conv0_HeadVar__1_1 = null; ^ Mercury/javas/jmercury/constrained_poly_multi.java:225: 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 Either_0 Mercury/javas/jmercury/constrained_poly_multi.java:225: 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 Either_0 Mercury/javas/jmercury/constrained_poly_multi.java:248: 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 Fruit_0 Mercury/javas/jmercury/constrained_poly_multi.java:248: 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 Fruit_0 Mercury/javas/jmercury/constrained_poly_multi.java:315: error: package jmercury.runtime does not exist throw new jmercury.runtime.UnreachableDefault(); ^ 54 errors ** Error making `Mercury/classes/jmercury/constrained_poly_multi.class'. make[3]: *** [/tmp/mmake.wupQev:1500: constrained_poly_multi.class] Error 1 make[3]: Target 'constrained_poly_multi.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/valid' ERROR OUTPUT constrained_poly_multi.m:038: In clause for `test2': constrained_poly_multi.m:038: in argument 4 of call to predicate constrained_poly_multi.m:038: `constrained_poly_multi.either'/4: constrained_poly_multi.m:038: warning: unification of `V_4' and `V_5' cannot constrained_poly_multi.m:038: succeed. constrained_poly_multi.m:038: `V_4' has instantiatedness `unique(orange)', constrained_poly_multi.m:038: `V_5' has instantiatedness `bound(apple)'. END OF THE ERROR OUTPUT