[m-rev.] for review: turn off all warnings when making .int*/.*opt files

[Julien Fischer]

On Fri, 23 May 2025 at 12:15, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>

> Turn off all warnings when making .int*/.*opt files.
>
> compiler/options.m:
>     Switch to using the same signature for all the operations that
>     return sets of warning and related options. (They return them
>     as lists, because that is what their callers need.)
>
>     Implement all these operations in terms of a option categories.
>     This avoids the need to maintain separate two separate lists
>     of warning options, and to create a third list of inform options.
>
>     Add a new mode to the optdef predicate to speed up such operations.
>
>     Give the various categories of warning/inform options longer,
>     more meaningful names.
>
>     Give the operation exported for make.track_flags.m
>     a more descriptive name.
>
> compiler/handle_options.m:
>     Turn off all non-style warning options when making .int* files,
>     not just some. Also turn off all inform options. (We already
>     turned off all style warnings.)
>
>     Turn off all warning and inform options also when making .*opt files.
>
>     Factor out the commonalities in the handling of these op_modes.
>
> compiler/mercury_compile_augment.m:
>     Don't turn off warning options when making .*opt files,
>     since handle_options.m has already handled that task.
>
> compiler/make.track_flags.m:
>     Conform to the changes above.

That's fine.

Julien.