MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-02-13/tests/warnings'
/mnt/testing/run/build/mercury-srcdist-rotd-2024-02-13/stage2/scripts/mmc --generate-dependencies --grade asm_fast.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --output-compile-error-lines 0 --infer-all -O5 --intermod-opt --inform-generated-type-spec-pragmas   test_tscp > test_tscp.dep_err 2>&1
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-02-13/tests/warnings'
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-02-13/tests/warnings'
/mnt/testing/run/build/mercury-srcdist-rotd-2024-02-13/stage2/scripts/mmc --make-interface --grade asm_fast.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --output-compile-error-lines 0 --infer-all -O5 --intermod-opt --inform-generated-type-spec-pragmas   test_tscp
/mnt/testing/run/build/mercury-srcdist-rotd-2024-02-13/stage2/scripts/mmc --make-optimization-interface --grade asm_fast.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --output-compile-error-lines 0 --infer-all -O5 --intermod-opt --inform-generated-type-spec-pragmas   test_tscp
/mnt/testing/run/build/mercury-srcdist-rotd-2024-02-13/stage2/scripts/mmc --errorcheck-only --grade asm_fast.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --output-compile-error-lines 0 --infer-all -O5 --intermod-opt --inform-generated-type-spec-pragmas   test_tscp > test_tscp.err 2>&1
rm -f test_tscp.res_error
diff -u test_tscp.exp test_tscp.err > test_tscp.res_error || \
	{ [ -f test_tscp.exp2 ] && \
	  diff -u test_tscp.exp2 test_tscp.err > test_tscp.res_error; } || \
	{ [ -f test_tscp.exp3 ] && \
	  diff -u test_tscp.exp3 test_tscp.err > test_tscp.res_error; } || \
	{ [ -f test_tscp.exp4 ] && \
	  diff -u test_tscp.exp4 test_tscp.err > test_tscp.res_error; } || \
	{ cat test_tscp.err; cat test_tscp.res_error; exit 1; }
% For the type_spec_constrained_preds pragma at test_tscp.m:54,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred(test_tscp.p1/5), (C = int, D = term.var(V_3))).
% :- pragma type_spec(pred(test_tscp.p1/5), (B = character, C = bool.bool)).
% For the type_spec_constrained_preds pragma at test_tscp.m:66,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred(test_tscp.p2/3), (Stream = io.text_input_stream, State = io.state, Error = io.error)).
% For the type_spec_constrained_preds pragma at test_tscp.m:74,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred(test_tscp.p2/3), (Stream = io.text_input_stream, State = io.state, Error = io.error)).
% For the type_spec_constrained_preds pragma at test_tscp.m:100,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred(test_tscp.p3/2), A = int).
% :- pragma type_spec(pred(test_tscp.p3/2), B = int).
% :- pragma type_spec(pred(test_tscp.p3/2), A = float).
% :- pragma type_spec(pred(test_tscp.p3/2), B = float).
% For the type_spec_constrained_preds pragma at /mnt/testing/run/build/mercury-srcdist-rotd-2024-02-13/stage2/library/pretty_printer.int:85,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred(pretty_printer.put_doc/7), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(pretty_printer.put_doc/7), (Stream = string.builder.handle, State = string.builder.state)).
% For the type_spec_constrained_preds pragma at /mnt/testing/run/build/mercury-srcdist-rotd-2024-02-13/stage2/library/term_io.int:135,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred(term_io.format_constant/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_constant/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_escaped_char/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_escaped_char/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_escaped_string/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_escaped_string/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_quoted_atom/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_quoted_atom/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_quoted_char/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_quoted_char/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_quoted_string/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_quoted_string/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.quote_atom/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.quote_atom/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.quote_char/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.quote_char/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.quote_string/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.quote_string/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.write_escaped_char/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.write_escaped_char/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.write_escaped_string/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.write_escaped_string/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_constant_agt/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_constant_agt/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_quoted_atom_agt/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_quoted_atom_agt/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_term/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_term/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_term_nl/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_term_nl/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_variable/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_variable/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.quote_atom_agt/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.quote_atom_agt/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_term_nl_with_op_table/6), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_term_nl_with_op_table/6), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_term_with_op_table/6), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_term_with_op_table/6), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_variable_with_op_table/6), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_variable_with_op_table/6), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_term_anon_vars/9), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_term_anon_vars/9), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_variable_anon_vars/9), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_variable_anon_vars/9), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_term_prio_anon_vars/10), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_term_prio_anon_vars/10), (Stream = string.builder.handle, State = string.builder.state)).
% For the type_spec_constrained_preds pragma at /mnt/testing/run/build/mercury-srcdist-rotd-2024-02-13/stage2/library/stream.string_writer.int:66,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred((stream.string_writer).nl/3), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).nl/3), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).print/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).print/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).print_cc/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).print_cc/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_char/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_char/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_float/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_float/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int16/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int16/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int32/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int32/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int64/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int64/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int8/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int8/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint16/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint16/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint32/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint32/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint64/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint64/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint8/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint8/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).write/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).write/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).write_cc/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).write_cc/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).write_univ/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).write_univ/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).do_write_univ/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).do_write_univ/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).format/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).format/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).print/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).print/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).write/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).write/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).write_univ/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).write_univ/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).do_write_univ_prio/6), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).do_write_univ_prio/6), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).maybe_write_paren/6), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).maybe_write_paren/6), (Stream = string.builder.handle, State = string.builder.state)).
--- test_tscp.exp	2024-02-08 21:28:48.000000000 +1100
+++ test_tscp.err	2024-02-14 04:10:42.739740688 +1100
@@ -14,3 +14,107 @@
 % :- pragma type_spec(pred(test_tscp.p3/2), B = int).
 % :- pragma type_spec(pred(test_tscp.p3/2), A = float).
 % :- pragma type_spec(pred(test_tscp.p3/2), B = float).
+% For the type_spec_constrained_preds pragma at /mnt/testing/run/build/mercury-srcdist-rotd-2024-02-13/stage2/library/pretty_printer.int:85,
+% the compiler generated these type_spec pragmas:
+% :- pragma type_spec(pred(pretty_printer.put_doc/7), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(pretty_printer.put_doc/7), (Stream = string.builder.handle, State = string.builder.state)).
+% For the type_spec_constrained_preds pragma at /mnt/testing/run/build/mercury-srcdist-rotd-2024-02-13/stage2/library/term_io.int:135,
+% the compiler generated these type_spec pragmas:
+% :- pragma type_spec(pred(term_io.format_constant/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.format_constant/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.format_escaped_char/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.format_escaped_char/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.format_escaped_string/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.format_escaped_string/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.format_quoted_atom/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.format_quoted_atom/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.format_quoted_char/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.format_quoted_char/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.format_quoted_string/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.format_quoted_string/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.quote_atom/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.quote_atom/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.quote_char/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.quote_char/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.quote_string/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.quote_string/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.write_escaped_char/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.write_escaped_char/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.write_escaped_string/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.write_escaped_string/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.format_constant_agt/5), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.format_constant_agt/5), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.format_quoted_atom_agt/5), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.format_quoted_atom_agt/5), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.format_term/5), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.format_term/5), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.format_term_nl/5), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.format_term_nl/5), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.format_variable/5), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.format_variable/5), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.quote_atom_agt/5), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.quote_atom_agt/5), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.format_term_nl_with_op_table/6), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.format_term_nl_with_op_table/6), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.format_term_with_op_table/6), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.format_term_with_op_table/6), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.format_variable_with_op_table/6), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.format_variable_with_op_table/6), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.format_term_anon_vars/9), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.format_term_anon_vars/9), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.format_variable_anon_vars/9), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.format_variable_anon_vars/9), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred(term_io.format_term_prio_anon_vars/10), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred(term_io.format_term_prio_anon_vars/10), (Stream = string.builder.handle, State = string.builder.state)).
+% For the type_spec_constrained_preds pragma at /mnt/testing/run/build/mercury-srcdist-rotd-2024-02-13/stage2/library/stream.string_writer.int:66,
+% the compiler generated these type_spec pragmas:
+% :- pragma type_spec(pred((stream.string_writer).nl/3), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).nl/3), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).print/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).print/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).print_cc/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).print_cc/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_char/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_char/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_float/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_float/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_int/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_int/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_int16/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_int16/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_int32/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_int32/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_int64/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_int64/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_int8/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_int8/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_uint/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_uint/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_uint16/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_uint16/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_uint32/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_uint32/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_uint64/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_uint64/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_uint8/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).put_uint8/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).write/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).write/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).write_cc/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).write_cc/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).write_univ/4), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).write_univ/4), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).do_write_univ/5), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).do_write_univ/5), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).format/5), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).format/5), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).print/5), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).print/5), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).write/5), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).write/5), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).write_univ/5), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).write_univ/5), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).do_write_univ_prio/6), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).do_write_univ_prio/6), (Stream = string.builder.handle, State = string.builder.state)).
+% :- pragma type_spec(pred((stream.string_writer).maybe_write_paren/6), (Stream = io.text_output_stream, State = io.state)).
+% :- pragma type_spec(pred((stream.string_writer).maybe_write_paren/6), (Stream = string.builder.handle, State = string.builder.state)).
make[3]: *** [/tmp/mmake.HGDtQj:1141: test_tscp.res_error] Error 1
make[3]: Target 'test_tscp.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-02-13/tests/warnings'
ERROR OUTPUT
% For the type_spec_constrained_preds pragma at test_tscp.m:54,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred(test_tscp.p1/5), (C = int, D = term.var(V_3))).
% :- pragma type_spec(pred(test_tscp.p1/5), (B = character, C = bool.bool)).
% For the type_spec_constrained_preds pragma at test_tscp.m:66,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred(test_tscp.p2/3), (Stream = io.text_input_stream, State = io.state, Error = io.error)).
% For the type_spec_constrained_preds pragma at test_tscp.m:74,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred(test_tscp.p2/3), (Stream = io.text_input_stream, State = io.state, Error = io.error)).
% For the type_spec_constrained_preds pragma at test_tscp.m:100,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred(test_tscp.p3/2), A = int).
% :- pragma type_spec(pred(test_tscp.p3/2), B = int).
% :- pragma type_spec(pred(test_tscp.p3/2), A = float).
% :- pragma type_spec(pred(test_tscp.p3/2), B = float).
% For the type_spec_constrained_preds pragma at /mnt/testing/run/build/mercury-srcdist-rotd-2024-02-13/stage2/library/pretty_printer.int:85,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred(pretty_printer.put_doc/7), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(pretty_printer.put_doc/7), (Stream = string.builder.handle, State = string.builder.state)).
% For the type_spec_constrained_preds pragma at /mnt/testing/run/build/mercury-srcdist-rotd-2024-02-13/stage2/library/term_io.int:135,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred(term_io.format_constant/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_constant/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_escaped_char/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_escaped_char/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_escaped_string/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_escaped_string/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_quoted_atom/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_quoted_atom/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_quoted_char/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_quoted_char/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_quoted_string/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_quoted_string/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.quote_atom/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.quote_atom/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.quote_char/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.quote_char/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.quote_string/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.quote_string/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.write_escaped_char/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.write_escaped_char/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.write_escaped_string/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.write_escaped_string/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_constant_agt/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_constant_agt/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_quoted_atom_agt/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_quoted_atom_agt/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_term/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_term/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_term_nl/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_term_nl/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_variable/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_variable/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.quote_atom_agt/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.quote_atom_agt/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_term_nl_with_op_table/6), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_term_nl_with_op_table/6), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_term_with_op_table/6), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_term_with_op_table/6), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_variable_with_op_table/6), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_variable_with_op_table/6), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_term_anon_vars/9), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_term_anon_vars/9), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_variable_anon_vars/9), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_variable_anon_vars/9), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_term_prio_anon_vars/10), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_term_prio_anon_vars/10), (Stream = string.builder.handle, State = string.builder.state)).
% For the type_spec_constrained_preds pragma at /mnt/testing/run/build/mercury-srcdist-rotd-2024-02-13/stage2/library/stream.string_writer.int:66,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred((stream.string_writer).nl/3), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).nl/3), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).print/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).print/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).print_cc/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).print_cc/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_char/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_char/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_float/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_float/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int16/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int16/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int32/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int32/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int64/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int64/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int8/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int8/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint16/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint16/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint32/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint32/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint64/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint64/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint8/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint8/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).write/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).write/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).write_cc/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).write_cc/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).write_univ/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).write_univ/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).do_write_univ/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).do_write_univ/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).format/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).format/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).print/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).print/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).write/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).write/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).write_univ/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).write_univ/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).do_write_univ_prio/6), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).do_write_univ_prio/6), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).maybe_write_paren/6), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).maybe_write_paren/6), (Stream = string.builder.handle, State = string.builder.state)).
END OF THE ERROR OUTPUT