MERCURY_OPTIONS= --deep-random-write=25 --deep-std-name --mdb-disable-progress
gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-16/tests/invalid'
{ echo MCFLAGS += '--grade csharp    --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-16/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 += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-16/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-16/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-2026-08-16/stage2/scripts/mmc --make --options-file - bad_input_spec.err
** Error making `Mercury/int3s/bad_input_spec.int3'.
bad_input_spec.m:050: Error: an `:- pragma input_spec' declaration must have
bad_input_spec.m:050:   three arguments.
bad_input_spec.m:051: In the third argument of `:- pragma input_spec'
bad_input_spec.m:051:   declaration:
bad_input_spec.m:051:   error: expected a nonempty list of inst names, got an
bad_input_spec.m:051:   empty list.
bad_input_spec.m:052: In the second argument of `:- pragma input_spec'
bad_input_spec.m:052:   declaration:
bad_input_spec.m:052:   error: expected either replace_in_mode or
bad_input_spec.m:052:   add_to_in_mode, got add_to_in_mod.
bad_input_spec.m:052: In the third argument of `:- pragma input_spec'
bad_input_spec.m:052:   declaration:
bad_input_spec.m:052:   error: expected a nonempty list of inst names, but 9 is
bad_input_spec.m:052:   not an inst name.
bad_input_spec.m:053: In the third argument of `:- pragma input_spec'
bad_input_spec.m:053:   declaration:
bad_input_spec.m:053:   error: expected a nonempty list of inst names, but 42
bad_input_spec.m:053:   and "fortytwo" are not inst names.
Making Mercury/ints/bad_input_spec.int
bad_input_spec.m:050: Error: an `:- pragma input_spec' declaration must have
bad_input_spec.m:050:   three arguments.
bad_input_spec.m:051: In the third argument of `:- pragma input_spec'
bad_input_spec.m:051:   declaration:
bad_input_spec.m:051:   error: expected a nonempty list of inst names, got an
bad_input_spec.m:051:   empty list.
bad_input_spec.m:052: In the second argument of `:- pragma input_spec'
bad_input_spec.m:052:   declaration:
bad_input_spec.m:052:   error: expected either replace_in_mode or
bad_input_spec.m:052:   add_to_in_mode, got add_to_in_mod.
bad_input_spec.m:052: In the third argument of `:- pragma input_spec'
bad_input_spec.m:052:   declaration:
bad_input_spec.m:052:   error: expected a nonempty list of inst names, but 9 is
bad_input_spec.m:052:   not an inst name.
bad_input_spec.m:053: In the third argument of `:- pragma input_spec'
bad_input_spec.m:053:   declaration:
bad_input_spec.m:053:   error: expected a nonempty list of inst names, but 42
bad_input_spec.m:053:   and "fortytwo" are not inst names.
** Error making `Mercury/ints/bad_input_spec.int'.
gmake[3]: [/tmp/mmake.5Natb5:1297: bad_input_spec.err] Error 1 (ignored)
if { echo MCFLAGS += '--grade csharp    --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-16/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 += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-16/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-16/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-2026-08-16/stage2/scripts/mmc --make --options-file - -r bad_input_spec.err > /dev/null 2>&1 ; \
then false; \
else true; \
fi
Comparing bad_input_spec.err with bad_input_spec.err_exp*,
	results in bad_input_spec.err_res
** bad_input_spec.err did not match the expected error output
** (closest match was bad_input_spec.err_res1)
--- bad_input_spec.err_exp	2026-08-15 21:30:48.000000000 +1000
+++ bad_input_spec.err	2026-08-17 07:11:06.520959930 +1000
@@ -16,19 +16,3 @@
 bad_input_spec.m:053:   declaration:
 bad_input_spec.m:053:   error: expected a nonempty list of inst names, but 42
 bad_input_spec.m:053:   and "fortytwo" are not inst names.
-bad_input_spec.m:054: Error: the type constructor `au'/0 has no visible
-bad_input_spec.m:054:   definition.
-bad_input_spec.m:054: In `:- pragma input_spec' declaration:
-bad_input_spec.m:054:   error: the type `au'/0 is undefined.
-bad_input_spec.m:054:   (Did you mean `aux'?)
-bad_input_spec.m:055: Error: the type being specialized must be a ground type,
-bad_input_spec.m:055:   but it contains the type variable T.
-bad_input_spec.m:056: In `:- pragma input_spec' declaration:
-bad_input_spec.m:056:   error: the inst `au_c'/0 is undefined.
-bad_input_spec.m:056:   (Did you mean `aux_c'?)
-bad_input_spec.m:056: In `:- pragma input_spec' declaration:
-bad_input_spec.m:056:   error: the inst `aux_'/0 is undefined.
-bad_input_spec.m:056:   (Did you mean `aux_c' or `aux_d'?)
-bad_input_spec.m:057: Error: duplicate `:- pragma input_spec' declaration for
-bad_input_spec.m:057:   bad_input_spec.aux.
-bad_input_spec.m:056:   The previous declaration was here.
gmake[3]: *** [../Mmake.common:170: bad_input_spec.err_res] Error 1
gmake[3]: Target 'bad_input_spec.runtest' not remade because of errors.
gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-16/tests/invalid'