MERCURY_OPTIONS= --deep-random-write=25 --deep-std-name --mdb-disable-progress
gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-31/tests/invalid_nodepend'
{ echo MCFLAGS += '--grade csharp    --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-31/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics --use-subdirs  --allow-stubs --no-warn-stubs  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-31/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-31/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-31/stage2/scripts/mmc --make --options-file - require_tailrec_invalid.err
** Error making `Mercury/int3s/require_tailrec_invalid.int3'.
require_tailrec_invalid.m:019: Error: `:- pragma require_tail_recursion'
require_tailrec_invalid.m:019:   declarations are not allowed in module
require_tailrec_invalid.m:019:   interfaces.
require_tailrec_invalid.m:034: Error: conflicting
require_tailrec_invalid.m:034:   `:- pragma require_tail_recursion' attributes:
require_tailrec_invalid.m:034:   `error' conflicts with earlier attribute
require_tailrec_invalid.m:034:   `warn'.
require_tailrec_invalid.m:037: Error: conflicting
require_tailrec_invalid.m:037:   `:- pragma require_tail_recursion' attributes:
require_tailrec_invalid.m:037:   `none' conflicts with earlier attribute
require_tailrec_invalid.m:037:   `warn'.
require_tailrec_invalid.m:040: Error: conflicting
require_tailrec_invalid.m:040:   `:- pragma require_tail_recursion' attributes:
require_tailrec_invalid.m:040:   `none' conflicts with earlier attribute
require_tailrec_invalid.m:040:   `error'.
require_tailrec_invalid.m:044: Error: conflicting
require_tailrec_invalid.m:044:   `:- pragma require_tail_recursion' attributes:
require_tailrec_invalid.m:044:   `self_recursion_only' conflicts with earlier
require_tailrec_invalid.m:044:   attribute `self_or_mutual_recursion'.
require_tailrec_invalid.m:047: Error: conflicting
require_tailrec_invalid.m:047:   `:- pragma require_tail_recursion' attributes:
require_tailrec_invalid.m:047:   `none' conflicts with earlier attribute
require_tailrec_invalid.m:047:   `self_or_mutual_recursion'.
require_tailrec_invalid.m:051: Error: conflicting
require_tailrec_invalid.m:051:   `:- pragma require_tail_recursion' attributes:
require_tailrec_invalid.m:051:   `none' conflicts with earlier attribute
require_tailrec_invalid.m:051:   `self_recursion_only'.
require_tailrec_invalid.m:055: Error: expected a
require_tailrec_invalid.m:055:   `:- pragma require_tail_recursion' attribute,
require_tailrec_invalid.m:055:   got `blahblahblah'.
require_tailrec_invalid.m:061: In the second argument of
require_tailrec_invalid.m:061:   `:- pragma require_tail_recursion'
require_tailrec_invalid.m:061:   declaration:
require_tailrec_invalid.m:061:   error: expected list of attributes, got
require_tailrec_invalid.m:061:   `Woop'.
require_tailrec_invalid.m:064: In the second argument of
require_tailrec_invalid.m:064:   `:- pragma require_tail_recursion'
require_tailrec_invalid.m:064:   declaration:
require_tailrec_invalid.m:064:   error: expected list of attributes, got `23'.
require_tailrec_invalid.m:071: Error: conflicting
require_tailrec_invalid.m:071:   `:- pragma require_tail_recursion' attributes:
require_tailrec_invalid.m:071:   `none' conflicts with earlier attribute
require_tailrec_invalid.m:071:   `self_recursion_only'.
require_tailrec_invalid.m:071: Error: conflicting
require_tailrec_invalid.m:071:   `:- pragma require_tail_recursion' attributes:
require_tailrec_invalid.m:071:   `none' conflicts with earlier attribute
require_tailrec_invalid.m:071:   `warn'.
require_tailrec_invalid.m:072: Error: expected a
require_tailrec_invalid.m:072:   `:- pragma require_tail_recursion' attribute,
require_tailrec_invalid.m:072:   got `grasshopper'.
Making Mercury/ints/require_tailrec_invalid.int
require_tailrec_invalid.m:019: Error: `:- pragma require_tail_recursion'
require_tailrec_invalid.m:019:   declarations are not allowed in module
require_tailrec_invalid.m:019:   interfaces.
require_tailrec_invalid.m:034: Error: conflicting
require_tailrec_invalid.m:034:   `:- pragma require_tail_recursion' attributes:
require_tailrec_invalid.m:034:   `error' conflicts with earlier attribute
require_tailrec_invalid.m:034:   `warn'.
require_tailrec_invalid.m:037: Error: conflicting
require_tailrec_invalid.m:037:   `:- pragma require_tail_recursion' attributes:
require_tailrec_invalid.m:037:   `none' conflicts with earlier attribute
require_tailrec_invalid.m:037:   `warn'.
require_tailrec_invalid.m:040: Error: conflicting
require_tailrec_invalid.m:040:   `:- pragma require_tail_recursion' attributes:
require_tailrec_invalid.m:040:   `none' conflicts with earlier attribute
require_tailrec_invalid.m:040:   `error'.
require_tailrec_invalid.m:044: Error: conflicting
require_tailrec_invalid.m:044:   `:- pragma require_tail_recursion' attributes:
require_tailrec_invalid.m:044:   `self_recursion_only' conflicts with earlier
require_tailrec_invalid.m:044:   attribute `self_or_mutual_recursion'.
require_tailrec_invalid.m:047: Error: conflicting
require_tailrec_invalid.m:047:   `:- pragma require_tail_recursion' attributes:
require_tailrec_invalid.m:047:   `none' conflicts with earlier attribute
require_tailrec_invalid.m:047:   `self_or_mutual_recursion'.
require_tailrec_invalid.m:051: Error: conflicting
require_tailrec_invalid.m:051:   `:- pragma require_tail_recursion' attributes:
require_tailrec_invalid.m:051:   `none' conflicts with earlier attribute
require_tailrec_invalid.m:051:   `self_recursion_only'.
require_tailrec_invalid.m:055: Error: expected a
require_tailrec_invalid.m:055:   `:- pragma require_tail_recursion' attribute,
require_tailrec_invalid.m:055:   got `blahblahblah'.
require_tailrec_invalid.m:061: In the second argument of
require_tailrec_invalid.m:061:   `:- pragma require_tail_recursion'
require_tailrec_invalid.m:061:   declaration:
require_tailrec_invalid.m:061:   error: expected list of attributes, got
require_tailrec_invalid.m:061:   `Woop'.
require_tailrec_invalid.m:064: In the second argument of
require_tailrec_invalid.m:064:   `:- pragma require_tail_recursion'
require_tailrec_invalid.m:064:   declaration:
require_tailrec_invalid.m:064:   error: expected list of attributes, got `23'.
require_tailrec_invalid.m:071: Error: conflicting
require_tailrec_invalid.m:071:   `:- pragma require_tail_recursion' attributes:
require_tailrec_invalid.m:071:   `none' conflicts with earlier attribute
require_tailrec_invalid.m:071:   `self_recursion_only'.
require_tailrec_invalid.m:071: Error: conflicting
require_tailrec_invalid.m:071:   `:- pragma require_tail_recursion' attributes:
require_tailrec_invalid.m:071:   `none' conflicts with earlier attribute
require_tailrec_invalid.m:071:   `warn'.
require_tailrec_invalid.m:072: Error: expected a
require_tailrec_invalid.m:072:   `:- pragma require_tail_recursion' attribute,
require_tailrec_invalid.m:072:   got `grasshopper'.
** Error making `Mercury/ints/require_tailrec_invalid.int'.
gmake[3]: [/tmp/mmake.owJW0C:922: require_tailrec_invalid.err] Error 1 (ignored)
if { echo MCFLAGS += '--grade csharp    --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-31/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics --use-subdirs  --allow-stubs --no-warn-stubs  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-31/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-31/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-31/stage2/scripts/mmc --make --options-file - -r require_tailrec_invalid.err > /dev/null 2>&1 ; \
then false; \
else true; \
fi
Comparing require_tailrec_invalid.err with require_tailrec_invalid.err_exp*,
	results in require_tailrec_invalid.err_res
** require_tailrec_invalid.err did not match the expected error output
** (closest match was require_tailrec_invalid.err_res1)
--- require_tailrec_invalid.err_exp	2024-06-07 21:46:11.000000000 +1000
+++ require_tailrec_invalid.err	2025-04-01 05:43:20.578971286 +1100
@@ -1,21 +1,6 @@
 require_tailrec_invalid.m:019: Error: `:- pragma require_tail_recursion'
 require_tailrec_invalid.m:019:   declarations are not allowed in module
 require_tailrec_invalid.m:019:   interfaces.
-require_tailrec_invalid.m:026: Error: `:- pragma require_tail_recursion'
-require_tailrec_invalid.m:026:   declaration for `non_existent_pred'/3 without
-require_tailrec_invalid.m:026:   a corresponding `:- pred' or `:- func'
-require_tailrec_invalid.m:026:   declaration.
-require_tailrec_invalid.m:027: Error: `:- pragma require_tail_recursion'
-require_tailrec_invalid.m:027:   declaration for predicate
-require_tailrec_invalid.m:027:   `non_existent_proc'/2 without a corresponding
-require_tailrec_invalid.m:027:   `:- pred' declaration.
-require_tailrec_invalid.m:028: Error: `:- pragma require_tail_recursion'
-require_tailrec_invalid.m:028:   declaration for function
-require_tailrec_invalid.m:028:   `non_existent_func_proc'/1 without a
-require_tailrec_invalid.m:028:   corresponding `:- func' declaration.
-require_tailrec_invalid.m:031: Error: `:- pragma require_tail_recursion'
-require_tailrec_invalid.m:031:   declaration for undeclared mode of predicate
-require_tailrec_invalid.m:031:   `length'/2.
 require_tailrec_invalid.m:034: Error: conflicting
 require_tailrec_invalid.m:034:   `:- pragma require_tail_recursion' attributes:
 require_tailrec_invalid.m:034:   `error' conflicts with earlier attribute
@@ -43,9 +28,6 @@
 require_tailrec_invalid.m:055: Error: expected a
 require_tailrec_invalid.m:055:   `:- pragma require_tail_recursion' attribute,
 require_tailrec_invalid.m:055:   got `blahblahblah'.
-require_tailrec_invalid.m:059: Error: `:- pragma require_tail_recursion'
-require_tailrec_invalid.m:059:   declaration for predicate `blahblahblah'/0
-require_tailrec_invalid.m:059:   without a corresponding `:- pred' declaration.
 require_tailrec_invalid.m:061: In the second argument of
 require_tailrec_invalid.m:061:   `:- pragma require_tail_recursion'
 require_tailrec_invalid.m:061:   declaration:
@@ -66,19 +48,3 @@
 require_tailrec_invalid.m:072: Error: expected a
 require_tailrec_invalid.m:072:   `:- pragma require_tail_recursion' attribute,
 require_tailrec_invalid.m:072:   got `grasshopper'.
-require_tailrec_invalid.m:077: Error: conflicting
-require_tailrec_invalid.m:077:   `:- pragma require_tail_recursion' pragmas for
-require_tailrec_invalid.m:077:   `require_tailrec_invalid.length10'/2.
-require_tailrec_invalid.m:075:   The earlier pragma is here.
-require_tailrec_invalid.m:080: Error: conflicting
-require_tailrec_invalid.m:080:   `:- pragma require_tail_recursion' pragmas for
-require_tailrec_invalid.m:080:   `require_tailrec_invalid.length10'/2.
-require_tailrec_invalid.m:075:   The earlier pragma is here.
-require_tailrec_invalid.m:094: Error: conflicting
-require_tailrec_invalid.m:094:   `:- pragma require_tail_recursion' pragmas for
-require_tailrec_invalid.m:094:   `require_tailrec_invalid.append'/3.
-require_tailrec_invalid.m:092:   The earlier pragma is here.
-require_tailrec_invalid.m:094: Error: conflicting
-require_tailrec_invalid.m:094:   `:- pragma require_tail_recursion' pragmas for
-require_tailrec_invalid.m:094:   `require_tailrec_invalid.append'/3.
-require_tailrec_invalid.m:093:   The earlier pragma is here.
gmake[3]: *** [../Mmake.common:166: require_tailrec_invalid.err_res] Error 1
gmake[3]: Target 'require_tailrec_invalid.runtest' not remade because of errors.
gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-31/tests/invalid_nodepend'