[m-dev.] may_introduce_calls

[Julien Fischer]

On Sun, 13 Feb 2022, Zoltan Somogyi wrote:

> Introduce introduced_call_table.m.
> 
> compiler/introduced_call_table.m:
>     Move the tables of predicates that compiler passes may introduce
>     calls to here from direct_arg_in_out.m, simplify_proc.m and try_expand.m.
>
>     Start checking some of the arities of introduced predicates
>     (those I am sure of).
> 
> compiler/hlds.m:
>     Add the new module to the hlds package.
> 
> compiler/notes/compiler_design.html:
>     Document the new module.
> 
> compiler/dead_proc_elim.m:
>     Invoke the one exported predicate of the new module, instead
>     of three predicates exported by the three source modules.
>
>     Clarify some related code.
>
>     Delete code that became unneeded when we stopped supporting
>     automatic initialization of solver type variables.
> 
> compiler/direct_arg_in_out.m:
> compiler/simplify_proc.m:
> compiler/try_expand.m:
>     Delete the code moved to
> 
> compiler/pred_table.m:
>     Clarify some code used by dead_proc_elim.m.

...

> diff --git a/compiler/introduced_call_table.m b/compiler/introduced_call_table.m
> index e69de29bb..4cea49754 100644
> --- a/compiler/introduced_call_table.m
> +++ b/compiler/introduced_call_table.m
> @@ -0,0 +1,281 @@
> +%-----------------------------------------------------------------------------%
> +% vim: ft=mercury ts=4 sw=4 et
> +%-----------------------------------------------------------------------------%
> +% Copyright (C) 2022 The Mercury team.
> +% This file may only be copied under the terms of the GNU General
> +% Public License - see the file COPYING in the Mercury distribution.
> +%-----------------------------------------------------------------------------%
> +%
> +% File: introduced_call_table.m.
> +%
> +% This module contains a table

You may want to say a little more than just that ... ;-)

The rest looks fine.

Julien.