MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/tests/invalid' ../Mmake.common:335: warning: undefined variable 'TRAILED_PROGS' /tmp/mmake.pDcT0g:1303: warning: undefined variable 'TRAILED_PROGS' /tmp/mmake.pDcT0g:1762: warning: undefined variable 'TRAILED_PROGS' /tmp/mmake.pDcT0g:1762: warning: undefined variable 'TRAILED_PROGS' /tmp/mmake.pDcT0g:1762: warning: undefined variable 'TRAILED_PROGS' /tmp/mmake.pDcT0g:1762: warning: undefined variable 'TRAILED_PROGS' /tmp/mmake.pDcT0g:1762: warning: undefined variable 'TRAILED_PROGS' /tmp/mmake.pDcT0g:1762: warning: undefined variable 'TRAILED_PROGS' /tmp/mmake.pDcT0g:1762: warning: undefined variable 'TRAILED_PROGS' /tmp/mmake.pDcT0g:1763: warning: undefined variable 'TRAILED_PROGS' /tmp/mmake.pDcT0g:1763: warning: undefined variable 'TRAILED_PROGS' /tmp/mmake.pDcT0g:1763: warning: undefined variable 'TRAILED_PROGS' /tmp/mmake.pDcT0g:1763: warning: undefined variable 'TRAILED_PROGS' /tmp/mmake.pDcT0g:1763: warning: undefined variable 'TRAILED_PROGS' /tmp/mmake.pDcT0g:1763: warning: undefined variable 'TRAILED_PROGS' /tmp/mmake.pDcT0g:1763: warning: undefined variable 'TRAILED_PROGS' { echo MCFLAGS += '--grade csharp --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics --use-subdirs '; echo MCFLAGS += ' '; echo CFLAGS += ' '; echo JAVACFLAGS += '-J"-Xmx1024m" '; echo CSCFLAGS += ' '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/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-23/stage2/scripts/mmc --make --options-file - foreign_procs_exist_type.err Making Mercury/int3s/foreign_procs_exist_type.int3 Making Mercury/ints/foreign_procs_exist_type.int Making foreign_procs_exist_type.err foreign_procs_exist_type.m:054: In clause for predicate `mercury_test'/2: foreign_procs_exist_type.m:054: in argument 1 of call to predicate foreign_procs_exist_type.m:054: `foreign_procs_exist_type.make_t'/1: foreign_procs_exist_type.m:054: type error: variable `T2' has type foreign_procs_exist_type.m:054: some [T_2] (T_2); foreign_procs_exist_type.m:054: expected type was foreign_procs_exist_type.m:054: some [T_3] (T_3). foreign_procs_exist_type.m:090: In clause for predicate `foreign_pred_test'/2: foreign_procs_exist_type.m:090: type error: variable `HeadVar__2' has type foreign_procs_exist_type.m:090: some [T_2] (T_2); foreign_procs_exist_type.m:090: expected type was foreign_procs_exist_type.m:090: some [T_3] (T_3). foreign_procs_exist_type.m:134: In clause for function `foreign_func_test'/1: foreign_procs_exist_type.m:134: type error: variable `HeadVar__2' has type foreign_procs_exist_type.m:134: some [T_2] (T_2); ... output log truncated, see `foreign_procs_exist_type.err' for the complete log. ** Error making `foreign_procs_exist_type.err'. make[3]: [/tmp/mmake.pDcT0g:1304: foreign_procs_exist_type.err] Error 1 (ignored) if { echo MCFLAGS += '--grade csharp --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics --use-subdirs '; echo MCFLAGS += ' '; echo CFLAGS += ' '; echo JAVACFLAGS += '-J"-Xmx1024m" '; echo CSCFLAGS += ' '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/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-23/stage2/scripts/mmc --make --options-file - -r foreign_procs_exist_type.err > /dev/null 2>&1 ; \ then false; \ else true; \ fi Comparing foreign_procs_exist_type.err with foreign_procs_exist_type.err_exp*, results in foreign_procs_exist_type.err_res ** foreign_procs_exist_type.err did not match the expected error output ** (closest match was foreign_procs_exist_type.err_res1) --- foreign_procs_exist_type.err_exp 2024-05-05 21:19:40.000000000 +1000 +++ foreign_procs_exist_type.err 2024-07-24 15:48:14.003232498 +1000 @@ -5,14 +5,14 @@ foreign_procs_exist_type.m:054: some [T_2] (T_2); foreign_procs_exist_type.m:054: expected type was foreign_procs_exist_type.m:054: some [T_3] (T_3). -foreign_procs_exist_type.m:062: In clause for predicate `foreign_pred_test'/2: -foreign_procs_exist_type.m:062: type error: variable `HeadVar__2' has type -foreign_procs_exist_type.m:062: some [T_2] (T_2); -foreign_procs_exist_type.m:062: expected type was -foreign_procs_exist_type.m:062: some [T_3] (T_3). -foreign_procs_exist_type.m:106: In clause for function `foreign_func_test'/1: -foreign_procs_exist_type.m:106: type error: variable `HeadVar__2' has type -foreign_procs_exist_type.m:106: some [T_2] (T_2); -foreign_procs_exist_type.m:106: expected type was -foreign_procs_exist_type.m:106: some [T_3] (T_3). +foreign_procs_exist_type.m:090: In clause for predicate `foreign_pred_test'/2: +foreign_procs_exist_type.m:090: type error: variable `HeadVar__2' has type +foreign_procs_exist_type.m:090: some [T_2] (T_2); +foreign_procs_exist_type.m:090: expected type was +foreign_procs_exist_type.m:090: some [T_3] (T_3). +foreign_procs_exist_type.m:134: In clause for function `foreign_func_test'/1: +foreign_procs_exist_type.m:134: type error: variable `HeadVar__2' has type +foreign_procs_exist_type.m:134: some [T_2] (T_2); +foreign_procs_exist_type.m:134: expected type was +foreign_procs_exist_type.m:134: some [T_3] (T_3). For more information, recompile with `-E'. make[3]: *** [../Mmake.common:172: foreign_procs_exist_type.err_res] Error 1 make[3]: Target 'foreign_procs_exist_type.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/tests/invalid'