MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/tests/hard_coded' { echo MCFLAGS += '--grade csharp --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/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-17/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/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-17/stage2/scripts/mmc --make --options-file - construct_test.depend make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/tests/hard_coded' make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/tests/hard_coded' { echo MCFLAGS += '--grade csharp --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/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-17/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/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-17/stage2/scripts/mmc --make --options-file - construct_test Making Mercury/int3s/construct_test.int3 Making Mercury/ints/construct_test.int Making Mercury/css/construct_test.cs Making construct_test.exe { [ -f construct_test.inp ] && cat construct_test.inp; } | ./construct_test > construct_test.out 2>&1 || \ { grep . construct_test.out /dev/null; exit 1; } construct_test.out:------- TESTING TYPE DESCRIPTIONS ------- construct_test.out:TESTING DISCRIMINATED UNIONS construct_test.out:#functors in this type = 3 construct_test.out: 0 - one/0 lex: 0 [] construct_test.out: 1 - two/0 lex: 2 [] construct_test.out: 2 - three/0 lex: 1 [] construct_test.out:#functors in this type = 3 construct_test.out: 0 - one/0 lex: 0 [] construct_test.out: 1 - two/0 lex: 2 [] construct_test.out: 2 - three/0 lex: 1 [] construct_test.out:#functors in this type = 3 construct_test.out: 0 - one/0 lex: 0 [] construct_test.out: 1 - two/0 lex: 2 [] construct_test.out: 2 - three/0 lex: 1 [] construct_test.out:#functors in this type = 2 construct_test.out: 0 - apple/1 lex: 0 [apple_list] construct_test.out: 1 - banana/1 lex: 1 [banana_list] construct_test.out:#functors in this type = 2 construct_test.out: 0 - apple/1 lex: 0 [apple_list] construct_test.out: 1 - banana/1 lex: 1 [banana_list] construct_test.out:#functors in this type = 11 construct_test.out: 0 - foo/0 lex: 2 [] construct_test.out: 1 - bar/1 lex: 0 [_] construct_test.out: 2 - bar/2 lex: 1 [_, _] construct_test.out: 3 - qux/1 lex: 5 [_] construct_test.out: 4 - quux/1 lex: 4 [_] construct_test.out: 5 - quuux/2 lex: 3 [_, _] construct_test.out: 6 - wombat/0 lex: 6 [] construct_test.out: 7 - zoom/1 lex: 9 [_] construct_test.out: 8 - zap/2 lex: 7 [_, _] construct_test.out: 9 - zip/2 lex: 8 [_, _] construct_test.out:10 - zop/2 lex: 10 [_, _] construct_test.out:#functors in this type = 11 construct_test.out: 0 - foo/0 lex: 2 [] construct_test.out: 1 - bar/1 lex: 0 [_] construct_test.out: 2 - bar/2 lex: 1 [_, _] construct_test.out: 3 - qux/1 lex: 5 [_] construct_test.out: 4 - quux/1 lex: 4 [_] construct_test.out: 5 - quuux/2 lex: 3 [_, _] construct_test.out: 6 - wombat/0 lex: 6 [] construct_test.out: 7 - zoom/1 lex: 9 [_] construct_test.out: 8 - zap/2 lex: 7 [_, _] construct_test.out: 9 - zip/2 lex: 8 [_, _] construct_test.out:10 - zop/2 lex: 10 [_, _] construct_test.out:#functors in this type = 11 construct_test.out: 0 - foo/0 lex: 2 [] construct_test.out: 1 - bar/1 lex: 0 [_] construct_test.out: 2 - bar/2 lex: 1 [_, _] construct_test.out: 3 - qux/1 lex: 5 [_] construct_test.out: 4 - quux/1 lex: 4 [_] construct_test.out: 5 - quuux/2 lex: 3 [_, _] construct_test.out: 6 - wombat/0 lex: 6 [] construct_test.out: 7 - zoom/1 lex: 9 [_] construct_test.out: 8 - zap/2 lex: 7 [_, _] construct_test.out: 9 - zip/2 lex: 8 [_, _] construct_test.out:10 - zop/2 lex: 10 [_, _] construct_test.out:#functors in this type = 11 construct_test.out: 0 - foo/0 lex: 2 [] construct_test.out: 1 - bar/1 lex: 0 [_] construct_test.out: 2 - bar/2 lex: 1 [_, _] construct_test.out: 3 - qux/1 lex: 5 [_] construct_test.out: 4 - quux/1 lex: 4 [_] construct_test.out: 5 - quuux/2 lex: 3 [_, _] construct_test.out: 6 - wombat/0 lex: 6 [] construct_test.out: 7 - zoom/1 lex: 9 [_] construct_test.out: 8 - zap/2 lex: 7 [_, _] construct_test.out: 9 - zip/2 lex: 8 [_, _] construct_test.out:10 - zop/2 lex: 10 [_, _] construct_test.out:#functors in this type = 11 construct_test.out: 0 - foo/0 lex: 2 [] construct_test.out: 1 - bar/1 lex: 0 [_] construct_test.out: 2 - bar/2 lex: 1 [_, _] construct_test.out: 3 - qux/1 lex: 5 [_] construct_test.out: 4 - quux/1 lex: 4 [_] construct_test.out: 5 - quuux/2 lex: 3 [_, _] construct_test.out: 6 - wombat/0 lex: 6 [] construct_test.out: 7 - zoom/1 lex: 9 [_] construct_test.out: 8 - zap/2 lex: 7 [_, _] construct_test.out: 9 - zip/2 lex: 8 [_, _] construct_test.out:10 - zop/2 lex: 10 [_, _] construct_test.out:TESTING POLYMORPHISM construct_test.out:#functors in this type = 4 construct_test.out: 0 - poly_one/1 lex: 1 [_] construct_test.out: 1 - poly_two/1 lex: 3 [_] construct_test.out: 2 - poly_three/3 lex: 2 [_, poly3_field2, _] construct_test.out: 3 - poly_four/2 lex: 0 [_, _] construct_test.out:#functors in this type = 4 construct_test.out: 0 - poly_one/1 lex: 1 [_] construct_test.out: 1 - poly_two/1 lex: 3 [_] construct_test.out: 2 - poly_three/3 lex: 2 [_, poly3_field2, _] construct_test.out: 3 - poly_four/2 lex: 0 [_, _] construct_test.out:#functors in this type = 4 construct_test.out: 0 - poly_one/1 lex: 1 [_] construct_test.out: 1 - poly_two/1 lex: 3 [_] construct_test.out: 2 - poly_three/3 lex: 2 [_, poly3_field2, _] construct_test.out: 3 - poly_four/2 lex: 0 [_, _] construct_test.out:TESTING BUILTINS construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 0 construct_test.out:#functors in this type = 1 construct_test.out: 0 - {}/4 lex: 0 [_, _, _, _] construct_test.out:#functors in this type = 2 construct_test.out: 0 - []/0 lex: 0 [] construct_test.out: 1 - [|]/2 lex: 1 [_, _] construct_test.out:TESTING OTHER TYPES construct_test.out:#functors in this type = 1 construct_test.out: 0 - var/1 lex: 0 [_] construct_test.out:#functors in this type = 1 construct_test.out: 0 - var_supply/1 lex: 0 [_] construct_test.out:#functors in this type = 1 construct_test.out: 0 - var_supply/1 lex: 0 [_] construct_test.out:#functors in this type = 4 construct_test.out: 0 - empty/0 lex: 0 [] construct_test.out: 1 - two/4 lex: 3 [_, _, _, _] construct_test.out: 2 - three/7 lex: 2 [_, _, _, _, _, _, _] construct_test.out: 3 - four/10 lex: 1 [_, _, _, _, _, _, _, _, _, _] construct_test.out:#functors in this type = 1 construct_test.out: 0 - qwerty/1 lex: 0 [qwerty_field] construct_test.out:#functors in this type = 1 construct_test.out: 0 - dummy/0 lex: 0 [] construct_test.out:#functors in this type = 2 construct_test.out: 0 - no/0 lex: 0 [] construct_test.out: 1 - unboxed_arg/1 lex: 1 [_] construct_test.out:#functors in this type = 1 construct_test.out: 0 - xyzzy/1 lex: 0 [f21name] construct_test.out:------- TESTING CONSTRUCTION OF TERMS ------- construct_test.out:About to construct three/0 construct_test.out:three construct_test.out:About to construct apple/1 construct_test.out:apple([1, 2, 3]) construct_test.out:About to construct banana/1 construct_test.out:banana([one, two, three]) construct_test.out:About to construct foo/0 construct_test.out:foo construct_test.out:About to construct bar/1 construct_test.out:bar(1) construct_test.out:About to construct bar/2 construct_test.out:bar(1, 1) construct_test.out:About to construct qux/1 construct_test.out:qux(1) construct_test.out:About to construct quux/1 construct_test.out:quux(1) construct_test.out:About to construct quuux/2 construct_test.out:quuux(1, 1) construct_test.out:About to construct wombat/0 construct_test.out:wombat construct_test.out:About to construct zoom/1 construct_test.out:zoom(1) construct_test.out:About to construct zap/2 construct_test.out:zap(1, 2.1) construct_test.out:About to construct zip/2 construct_test.out:zip(1, 1) construct_test.out:About to construct zop/2 construct_test.out:zop(2.1, 2.1) construct_test.out:About to construct qwerty/1 construct_test.out:qwerty(1) construct_test.out:About to construct unboxed_arg/1 construct_test.out:unboxed_arg(unboxed_struct(12, 34)) construct_test.out:About to construct poly_one/1 construct_test.out:poly_one(1) construct_test.out:About to construct poly_two/1 construct_test.out:poly_two("goodbye") construct_test.out:About to construct poly_four/2 construct_test.out:poly_four(1, "goodbye") construct_test.out:About to construct {}/3 construct_test.out:{4, "five", '6'} construct_test.out:About to construct a tuple construct_test.out:univ_cons({[1, 2, 3], [one, two, three], 1, 2.1}) construct_test.out:About to construct packed_1/7 construct_test.out:Unhandled Exception: construct_test.out:System.MissingMethodException: Constructor on type 'mercury.construct_test+Packed_1+Packed_1_7' not found. construct_test.out: at System.RuntimeType.CreateInstanceImpl (System.Reflection.BindingFlags bindingAttr, System.Reflection.Binder binder, System.Object[] args, System.Globalization.CultureInfo culture, System.Object[] activationAttributes, System.Threading.StackCrawlMark& stackMark) [0x0029a] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 construct_test.out: at System.Activator.CreateInstance (System.Type type, System.Reflection.BindingFlags bindingAttr, System.Reflection.Binder binder, System.Object[] args, System.Globalization.CultureInfo culture, System.Object[] activationAttributes) [0x000de] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 construct_test.out: at System.Activator.CreateInstance (System.Type type, System.Object[] args) [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 construct_test.out: at mercury.rtti_implementation.ML_construct_du_2 (mercury.runtime.TypeCtorInfo_Struct tc, mercury.runtime.DuFunctorDesc functor_desc, mercury.list+List_1 arg_list) [0x00108] in <764a6f59bdba4946aac62c5b5262a23f>:0 construct_test.out: at mercury.rtti_implementation.ML_construct_du (mercury.runtime.TypeCtorInfo_Struct tc, mercury.runtime.DuFunctorDesc functor_desc, mercury.list+List_1 arg_list) [0x0003f] in <764a6f59bdba4946aac62c5b5262a23f>:0 construct_test.out: at mercury.rtti_implementation.ML_construct (mercury.runtime.TypeInfo_Struct TypeInfo, System.Int32 FunctorNumber, mercury.list+List_1 ArgList, mercury.univ+Univ_0& Term) [0x001a5] in <764a6f59bdba4946aac62c5b5262a23f>:0 construct_test.out: at mercury.rtti_implementation.construct_3_f_0 (mercury.runtime.TypeInfo_Struct TypeInfo_1, System.Int32 FunctorNumber_2, mercury.list+List_1 ArgList_3, mercury.univ+Univ_0& out_param_2) [0x0000b] in <764a6f59bdba4946aac62c5b5262a23f>:0 construct_test.out: at mercury.construct.construct_3_f_0 (mercury.runtime.TypeInfo_Struct TypeDesc_5, System.Int32 Index_6, mercury.list+List_1 Args_7, mercury.univ+Univ_0& out_param_2) [0x0000d] in <764a6f59bdba4946aac62c5b5262a23f>:0 construct_test.out: at mercury.construct_test.test_construct_5_p_0 (mercury.runtime.TypeInfo_Struct TypeInfo_6, System.String FunctorName_7, mercury.list+List_1 Args_8) [0x000b2] in :0 construct_test.out: at mercury.construct_test.test_construction_2_p_0 () [0x007a6] in :0 construct_test.out: at mercury.construct_test.main_2_p_0 () [0x001a9] in :0 construct_test.out: at mercury.construct_test.Main (System.String[] args) [0x00005] in :0 construct_test.out:[ERROR] FATAL UNHANDLED EXCEPTION: System.MissingMethodException: Constructor on type 'mercury.construct_test+Packed_1+Packed_1_7' not found. construct_test.out: at System.RuntimeType.CreateInstanceImpl (System.Reflection.BindingFlags bindingAttr, System.Reflection.Binder binder, System.Object[] args, System.Globalization.CultureInfo culture, System.Object[] activationAttributes, System.Threading.StackCrawlMark& stackMark) [0x0029a] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 construct_test.out: at System.Activator.CreateInstance (System.Type type, System.Reflection.BindingFlags bindingAttr, System.Reflection.Binder binder, System.Object[] args, System.Globalization.CultureInfo culture, System.Object[] activationAttributes) [0x000de] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 construct_test.out: at System.Activator.CreateInstance (System.Type type, System.Object[] args) [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 construct_test.out: at mercury.rtti_implementation.ML_construct_du_2 (mercury.runtime.TypeCtorInfo_Struct tc, mercury.runtime.DuFunctorDesc functor_desc, mercury.list+List_1 arg_list) [0x00108] in <764a6f59bdba4946aac62c5b5262a23f>:0 construct_test.out: at mercury.rtti_implementation.ML_construct_du (mercury.runtime.TypeCtorInfo_Struct tc, mercury.runtime.DuFunctorDesc functor_desc, mercury.list+List_1 arg_list) [0x0003f] in <764a6f59bdba4946aac62c5b5262a23f>:0 construct_test.out: at mercury.rtti_implementation.ML_construct (mercury.runtime.TypeInfo_Struct TypeInfo, System.Int32 FunctorNumber, mercury.list+List_1 ArgList, mercury.univ+Univ_0& Term) [0x001a5] in <764a6f59bdba4946aac62c5b5262a23f>:0 construct_test.out: at mercury.rtti_implementation.construct_3_f_0 (mercury.runtime.TypeInfo_Struct TypeInfo_1, System.Int32 FunctorNumber_2, mercury.list+List_1 ArgList_3, mercury.univ+Univ_0& out_param_2) [0x0000b] in <764a6f59bdba4946aac62c5b5262a23f>:0 construct_test.out: at mercury.construct.construct_3_f_0 (mercury.runtime.TypeInfo_Struct TypeDesc_5, System.Int32 Index_6, mercury.list+List_1 Args_7, mercury.univ+Univ_0& out_param_2) [0x0000d] in <764a6f59bdba4946aac62c5b5262a23f>:0 construct_test.out: at mercury.construct_test.test_construct_5_p_0 (mercury.runtime.TypeInfo_Struct TypeInfo_6, System.String FunctorName_7, mercury.list+List_1 Args_8) [0x000b2] in :0 construct_test.out: at mercury.construct_test.test_construction_2_p_0 () [0x007a6] in :0 construct_test.out: at mercury.construct_test.main_2_p_0 () [0x001a9] in :0 construct_test.out: at mercury.construct_test.Main (System.String[] args) [0x00005] in :0 make[3]: *** [../Mmake.common:121: construct_test.out] Error 1 make[3]: Target 'construct_test.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/tests/hard_coded'