[m-rev.] for post-commit review: fix warnings/test_tscp

[Julien Fischer]

On Mon, 15 Sept 2025 at 05:37, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:

> Fix the warnings/test_tscp test case ...
>
> ... which tests the compiler's output with the
> --inform-generated-type-spec-pragmas option.
>
> The reason why it failed in C# and Java grades was that before
> this diff, the compiler printed the messages that this option calls for
> to a different stream (ProgressStream) than the stream (ErrorStream)
> whose output we capture in the .err file we compare with the .err_exp file.

...


> diff --git a/doc/mercury_user_guide.texi b/doc/mercury_user_guide.texi
> index 231dbeced..328230912 100644
> --- a/doc/mercury_user_guide.texi
> +++ b/doc/mercury_user_guide.texi

These changes to the user guide were not mentioned in the log message.
Was this something you meant to commit?

The rest looks fine.

Julien.