[m-rev.] for review: --warn-actually-ambiguous-pragmas

[Julien Fischer]

On Sun, 31 Jul 2022, Zoltan Somogyi wrote:

> 2022-07-28 16:25 GMT+10:00 "Peter Wang" <novalazy at gmail.com>:

> The diff is now committed, but the significant new change
> to the reference manual, which is attached, should be reviewed
> by someone. Any volunteers?

...

> diff --git a/doc/reference_manual.texi b/doc/reference_manual.texi
> index 70612a7ef..d2a8b30cb 100644
> --- a/doc/reference_manual.texi
> +++ b/doc/reference_manual.texi


> @@ -11731,17 +11748,18 @@ unless the programmer specifies this pragma for them.
>  @node No dead predicate warnings
>  @section No dead predicate warnings
> 
> -A declaration of the form
> +Declarations of the forms
>
>  @example
> -:- pragma consider_used(@var{Name}/@var{Arity}).
> +:- pragma consider_used(pred(@var{Name}/@var{Arity})).
> +:- pragma consider_used(func(@var{Name}/@var{Arity})).
>  @end example
>
>  @noindent
>  tells the compiler to consider the predicate or function

s/tells/tell/

>  with name @var{Name} and arity @var{Arity} to be used,
>  and not generate any dead procedure/predicate/function warnings
> -either for the named predicate,
> +either for the named predicate or function,
>  @emph{or} for the other predicates and functions that it calls,
>  either directly or indirectly.

That looks fine otherwise.

Julien.