MERCURY_OPTIONS= make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-01/tests/valid' { echo MCFLAGS += '--grade java --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-01/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs --halt-at-warn '; echo MCFLAGS += ' '; echo CFLAGS += ' '; echo JAVACFLAGS += '-J"-Xmx1024m" '; echo CSCFLAGS += ' '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-01/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-01/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-01/stage2/scripts/mmc --make --options-file - solver_type_bug.depend make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-01/tests/valid' make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-01/tests/valid' { echo MCFLAGS += '--grade java --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-01/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs --halt-at-warn '; echo MCFLAGS += ' '; echo CFLAGS += ' '; echo JAVACFLAGS += '-J"-Xmx1024m" '; echo CSCFLAGS += ' '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-01/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-01/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-01/stage2/scripts/mmc --make --options-file - solver_type_bug.class Making Mercury/int3s/solver_type_bug.int3 Making Mercury/ints/solver_type_bug.int Making Mercury/javas/jmercury/solver_type_bug.java Making Mercury/classes/jmercury/solver_type_bug.class solver_type_bug.m:58: error: package jmercury.runtime does not exist jmercury.runtime.MethodPtr a2, ^ Mercury/javas/jmercury/solver_type_bug.java:413: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ solver_type_bug.m:61: error: package jmercury.runtime does not exist jmercury.runtime.MethodPtr a2, ^ Mercury/javas/jmercury/solver_type_bug.java:25: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] solver_type_bug__field_types_bar_0_0 = new jmercury.runtime.PseudoTypeInfo[1]; ^ Mercury/javas/jmercury/solver_type_bug.java:26: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc solver_type_bug__du_functor_desc_bar_0_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/solver_type_bug.java:27: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] solver_type_bug__du_stag_ordered_bar_0_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/solver_type_bug.java:28: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] solver_type_bug__du_ptag_ordered_bar_0 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/solver_type_bug.java:29: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] solver_type_bug__du_name_ordered_bar_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/solver_type_bug.java:31: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct solver_type_bug__type_ctor_info_bar_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/solver_type_bug.java:32: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct solver_type_bug__type_ctor_info_foo_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/solver_type_bug.java:118: error: cannot find symbol solver_type_bug.Foo_0 X_3, ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:119: error: cannot find symbol solver_type_bug.Foo_0 Y_4) ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:149: error: cannot find symbol solver_type_bug.Foo_0 X_2, ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:150: error: package jmercury.runtime does not exist jmercury.runtime.MethodPtr cont, ^ Mercury/javas/jmercury/solver_type_bug.java:161: error: package jmercury.runtime does not exist jmercury.runtime.MethodPtr cont, ^ Mercury/javas/jmercury/solver_type_bug.java:175: error: cannot find symbol solver_type_bug.Foo_0 X_1) ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:191: error: package builtin does not exist public static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/solver_type_bug.java:234: error: cannot find symbol solver_type_bug.Foo_0 HeadVar__2_2, ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:235: error: cannot find symbol solver_type_bug.Foo_0 HeadVar__3_3) ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:232: error: package builtin does not exist public static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/solver_type_bug.java:300: error: cannot find symbol solver_type_bug.Foo_0 HeadVar__1_1, ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:301: error: cannot find symbol solver_type_bug.Foo_0 HeadVar__2_2) ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:415: error: cannot find symbol public solver_type_bug.Foo_0 F1; ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:423: error: cannot find symbol solver_type_bug.Foo_0 F1) ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:353: error: package jmercury.runtime does not exist implements jmercury.runtime.MethodPtr2 ^ Mercury/javas/jmercury/solver_type_bug.java:25: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] solver_type_bug__field_types_bar_0_0 = new jmercury.runtime.PseudoTypeInfo[1]; ^ Mercury/javas/jmercury/solver_type_bug.java:26: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc solver_type_bug__du_functor_desc_bar_0_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/solver_type_bug.java:27: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] solver_type_bug__du_stag_ordered_bar_0_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/solver_type_bug.java:28: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] solver_type_bug__du_ptag_ordered_bar_0 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/solver_type_bug.java:29: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] solver_type_bug__du_name_ordered_bar_0 = new jmercury.runtime.DuFunctorDesc[1]; ^ Mercury/javas/jmercury/solver_type_bug.java:31: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct solver_type_bug__type_ctor_info_bar_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/solver_type_bug.java:32: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct solver_type_bug__type_ctor_info_foo_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/solver_type_bug.java:37: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) solver_type_bug.solver_type_bug__type_ctor_info_foo_0; ^ Mercury/javas/jmercury/solver_type_bug.java:42: error: cannot find symbol private_builtin.MR_SECTAG_NONE, ^ symbol: variable private_builtin location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:50: error: cannot find symbol private_builtin.MR_FUNCTOR_SUBTYPE_NONE, ^ symbol: variable private_builtin location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:56: error: package jmercury.runtime does not exist new jmercury.runtime.DuPtagLayout( ^ Mercury/javas/jmercury/solver_type_bug.java:58: error: cannot find symbol private_builtin.MR_SECTAG_NONE, ^ symbol: variable private_builtin location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:72: error: package jmercury.runtime does not exist jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_DU, ^ Mercury/javas/jmercury/solver_type_bug.java:77: error: package jmercury.runtime does not exist new jmercury.runtime.TypeFunctors( ^ Mercury/javas/jmercury/solver_type_bug.java:80: error: package jmercury.runtime does not exist new jmercury.runtime.TypeLayout( ^ Mercury/javas/jmercury/solver_type_bug.java:92: error: package jmercury.runtime does not exist jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_EQUIV_GROUND, ^ Mercury/javas/jmercury/solver_type_bug.java:97: error: package jmercury.runtime does not exist new jmercury.runtime.TypeFunctors( ^ Mercury/javas/jmercury/solver_type_bug.java:100: error: package jmercury.runtime does not exist new jmercury.runtime.TypeLayout( ^ Mercury/javas/jmercury/solver_type_bug.java:101: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0 ^ Mercury/javas/jmercury/solver_type_bug.java:101: error: cannot find symbol (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0 ^ symbol: variable builtin location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:126: error: cannot find symbol solver_type_bug.Foo_0 X; ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:135: error: cannot find symbol solver_type_bug.Foo_0 X; ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:180: error: cannot find symbol solver_type_bug.Foo_0 X; ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:197: error: package builtin does not exist builtin.Comparison_result_0 HeadVar__1_1 = null; ^ Mercury/javas/jmercury/solver_type_bug.java:203: error: package builtin does not exist HeadVar__1_1 = builtin.Comparison_result_0.K0; ^ Mercury/javas/jmercury/solver_type_bug.java:206: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_4_9 = jmercury.runtime.TypeInfo_Struct.maybe_new(solver_type_bug.solver_type_bug__type_ctor_info_foo_0); ^ Mercury/javas/jmercury/solver_type_bug.java:206: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_4_9 = jmercury.runtime.TypeInfo_Struct.maybe_new(solver_type_bug.solver_type_bug__type_ctor_info_foo_0); ^ Mercury/javas/jmercury/solver_type_bug.java:207: error: cannot find symbol solver_type_bug.Foo_0 ArgX1_4 = ((solver_type_bug.Bar_0) HeadVar__2_2).F1; ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:208: error: cannot find symbol solver_type_bug.Foo_0 ArgY1_5 = ((solver_type_bug.Bar_0) HeadVar__3_3).F1; ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:211: error: cannot find symbol HeadVar__1_1 = private_builtin.builtin_compare_non_canonical_type_3_p_0(TypeCtorInfo_4_9, ((java.lang.Object) (ArgX1_4)), ((java.lang.Object) (ArgY1_5))); ^ symbol: variable private_builtin location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:223: error: package builtin does not exist builtin.Comparison_result_0 conv0_HeadVar__1_1 = null; ^ Mercury/javas/jmercury/solver_type_bug.java:237: error: package builtin does not exist builtin.Comparison_result_0 HeadVar__1_1 = null; ^ Mercury/javas/jmercury/solver_type_bug.java:238: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_4_4 = jmercury.runtime.TypeInfo_Struct.maybe_new(solver_type_bug.solver_type_bug__type_ctor_info_foo_0); ^ Mercury/javas/jmercury/solver_type_bug.java:238: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_4_4 = jmercury.runtime.TypeInfo_Struct.maybe_new(solver_type_bug.solver_type_bug__type_ctor_info_foo_0); ^ Mercury/javas/jmercury/solver_type_bug.java:241: error: cannot find symbol HeadVar__1_1 = private_builtin.builtin_compare_non_canonical_type_3_p_0(TypeCtorInfo_4_4, ((java.lang.Object) (HeadVar__2_2)), ((java.lang.Object) (HeadVar__3_3))); ^ symbol: variable private_builtin location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:252: error: package builtin does not exist builtin.Comparison_result_0 conv0_HeadVar__1_1 = null; ^ Mercury/javas/jmercury/solver_type_bug.java:255: error: cannot find symbol conv0_HeadVar__1_1 = solver_type_bug.__Compare____foo_0_0(((solver_type_bug.Foo_0) wrapper_arg_2), ((solver_type_bug.Foo_0) wrapper_arg_3)); ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:255: error: cannot find symbol conv0_HeadVar__1_1 = solver_type_bug.__Compare____foo_0_0(((solver_type_bug.Foo_0) wrapper_arg_2), ((solver_type_bug.Foo_0) wrapper_arg_3)); ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:275: error: cannot find symbol solver_type_bug.Foo_0 ArgX1_3 = ((solver_type_bug.Bar_0) HeadVar__1_1).F1; ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:276: error: cannot find symbol solver_type_bug.Foo_0 ArgY1_4 = ((solver_type_bug.Bar_0) HeadVar__2_2).F1; ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:316: error: cannot find symbol solver_type_bug.Foo_0 X; ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:325: error: cannot find symbol solver_type_bug.Foo_0 X; ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:346: error: cannot find symbol succeeded = solver_type_bug.__Unify____foo_0_0(((solver_type_bug.Foo_0) wrapper_arg_1), ((solver_type_bug.Foo_0) wrapper_arg_2)); ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:346: error: cannot find symbol succeeded = solver_type_bug.__Unify____foo_0_0(((solver_type_bug.Foo_0) wrapper_arg_1), ((solver_type_bug.Foo_0) wrapper_arg_2)); ^ symbol: class Foo_0 location: class solver_type_bug Mercury/javas/jmercury/solver_type_bug.java:400: error: package jmercury.runtime does not exist throw new jmercury.runtime.UnreachableDefault(); ^ 70 errors ** Error making `Mercury/classes/jmercury/solver_type_bug.class'. make[3]: *** [/tmp/mmake.7ef1Jx:1500: solver_type_bug.class] Error 1 make[3]: Target 'solver_type_bug.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-01/tests/valid'