[m-rev.] for review: set up five streams for compiler output

[Julien Fischer]

On Thu, 19 Nov 2020, Zoltan Somogyi wrote:

> I would like feedback on the concept from everyone.

Seems fine to me.

> I would also appreciate feedback on the documentation in options.m,
> which I will copy to user_guide.texi once its final form is settled.


> diff --git a/compiler/options.m b/compiler/options.m
> index 79192900b..d4add95a8 100644
> --- a/compiler/options.m
> +++ b/compiler/options.m
> @@ -4640,6 +4651,27 @@ options_help_output -->
>  options_help_aux_output -->
>      io.write_string("\nAuxiliary Output Options:\n"),
>      write_tabbed_lines([
> +        "--error-output-suffix .xyz",
> +        "\tWhen compiling module M, output any error, warning and/or",
> +        "\tinformational messages about the module to a file named `M.xyz'.",
> +        "\tThe default is for such output to go to standard error.",


I would write that as:

        --error-output-suffix <suffix>
            When compiling module M, output messages about the progress
            of the compilation to a file named `M.<suffix>`. This includes any
            statistics about the performance of compiler passes, if enabled.
            The default is for such output to go to standard error.

Also I suggest that the the period between `M` and the suffix be added
by the compiler, rather than the user having to specify it.  Similarly
for the others.

The diff is fine otherwise.

Julien.