MERCURY_OPTIONS=
gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/tests/invalid'
{ echo MCFLAGS += '--grade java    --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics --use-subdirs  --warn-unsorted-import-blocks  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/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 = '/home/mercury/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/stage2/scripts/mmc --make --options-file - bad_tscp.err
** Error making `Mercury/int3s/bad_tscp.int3'.
bad_tscp.m:023: Warning: this `:- import_module' declaration for module
bad_tscp.m:023:   `stream' is out of order with respect to the preceding
bad_tscp.m:023:   `:- import_module' declaration for module `term'.
bad_tscp.m:054: In the third argument of a
bad_tscp.m:054:   `:- pragma type_spec_constrained_preds' declaration:
bad_tscp.m:054:   in the second substitution:
bad_tscp.m:054:   error: any type variables that occur on the right hand side
bad_tscp.m:054:   of a substitution must be anonymous, but `Y' is not.
bad_tscp.m:069: In the third argument of a
bad_tscp.m:069:   `:- pragma type_spec_constrained_preds' declaration:
bad_tscp.m:069:   in the first substitution:
bad_tscp.m:069:   error: the left-hand-side type variable `Unit' must occur in
bad_tscp.m:069:   the constraints listed in the first argument, but it does
bad_tscp.m:069:   not.
bad_tscp.m:069: In the third argument of a
bad_tscp.m:069:   `:- pragma type_spec_constrained_preds' declaration:
bad_tscp.m:069:   in the first substitution:
bad_tscp.m:069:   error: any type variables that occur on the right hand side
bad_tscp.m:069:   of a substitution must be anonymous, but `T' is not.
bad_tscp.m:069: In the third argument of a
bad_tscp.m:069:   `:- pragma type_spec_constrained_preds' declaration:
bad_tscp.m:069:   in the second substitution:
bad_tscp.m:069:   error: the left-hand-side type variables `Unit' and `Xyzzy'
bad_tscp.m:069:   must occur in the constraints listed in the first argument,
bad_tscp.m:069:   but they do not.
bad_tscp.m:069: In the third argument of a
bad_tscp.m:069:   `:- pragma type_spec_constrained_preds' declaration:
bad_tscp.m:069:   in the second substitution:
bad_tscp.m:069:   error: any type variables that occur on the right hand side
bad_tscp.m:069:   of a substitution must be anonymous, but `U', `K' and `V' are
bad_tscp.m:069:   not.
bad_tscp.m:072: In the third argument of a
bad_tscp.m:072:   `:- pragma type_spec_constrained_preds' declaration:
bad_tscp.m:072:   on the left hand side of the arrow:
bad_tscp.m:072:   error: expected a variable, got `set(U)'.
Making Mercury/ints/bad_tscp.int
bad_tscp.m:054: In the third argument of a
bad_tscp.m:054:   `:- pragma type_spec_constrained_preds' declaration:
bad_tscp.m:054:   in the second substitution:
bad_tscp.m:054:   error: any type variables that occur on the right hand side
bad_tscp.m:054:   of a substitution must be anonymous, but `Y' is not.
bad_tscp.m:069: In the third argument of a
bad_tscp.m:069:   `:- pragma type_spec_constrained_preds' declaration:
bad_tscp.m:069:   in the first substitution:
bad_tscp.m:069:   error: the left-hand-side type variable `Unit' must occur in
bad_tscp.m:069:   the constraints listed in the first argument, but it does
bad_tscp.m:069:   not.
bad_tscp.m:069: In the third argument of a
bad_tscp.m:069:   `:- pragma type_spec_constrained_preds' declaration:
bad_tscp.m:069:   in the first substitution:
bad_tscp.m:069:   error: any type variables that occur on the right hand side
bad_tscp.m:069:   of a substitution must be anonymous, but `T' is not.
bad_tscp.m:069: In the third argument of a
bad_tscp.m:069:   `:- pragma type_spec_constrained_preds' declaration:
bad_tscp.m:069:   in the second substitution:
bad_tscp.m:069:   error: the left-hand-side type variables `Unit' and `Xyzzy'
bad_tscp.m:069:   must occur in the constraints listed in the first argument,
bad_tscp.m:069:   but they do not.
bad_tscp.m:069: In the third argument of a
bad_tscp.m:069:   `:- pragma type_spec_constrained_preds' declaration:
bad_tscp.m:069:   in the second substitution:
bad_tscp.m:069:   error: any type variables that occur on the right hand side
bad_tscp.m:069:   of a substitution must be anonymous, but `U', `K' and `V' are
bad_tscp.m:069:   not.
bad_tscp.m:072: In the third argument of a
bad_tscp.m:072:   `:- pragma type_spec_constrained_preds' declaration:
bad_tscp.m:072:   on the left hand side of the arrow:
bad_tscp.m:072:   error: expected a variable, got `set(U)'.
** Error making `Mercury/ints/bad_tscp.int'.
gmake[3]: [/tmp/mmake.mp4zN5:1307: bad_tscp.err] Error 1 (ignored)
if { echo MCFLAGS += '--grade java    --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics --use-subdirs  --warn-unsorted-import-blocks  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/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 = '/home/mercury/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/stage2/scripts/mmc --make --options-file - -r bad_tscp.err > /dev/null 2>&1 ; \
then false; \
else true; \
fi
Comparing bad_tscp.err with bad_tscp.err_exp*,
	results in bad_tscp.err_res
** bad_tscp.err did not match the expected error output
** (closest match was bad_tscp.err_res1)
--- bad_tscp.err_exp	2025-01-21 21:34:52.000000000 +1100
+++ bad_tscp.err	2025-03-31 06:08:36.522365718 +1100
@@ -1,6 +1,3 @@
-bad_tscp.m:023: Warning: this `:- import_module' declaration for module
-bad_tscp.m:023:   `stream' is out of order with respect to the preceding
-bad_tscp.m:023:   `:- import_module' declaration for module `term'.
 bad_tscp.m:054: In the third argument of a
 bad_tscp.m:054:   `:- pragma type_spec_constrained_preds' declaration:
 bad_tscp.m:054:   in the second substitution:
gmake[3]: *** [../Mmake.common:166: bad_tscp.err_res] Error 1
gmake[3]: Target 'bad_tscp.runtest' not remade because of errors.
gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/tests/invalid'