[m-dev.] may_introduce_calls

[Julien Fischer]

Hi Zoltan,

On Sun, 13 Feb 2022, Zoltan Somogyi wrote:

> At the moment three modules contain tables of predicates
> that the compiler may introduce calls to: try_expand, daio,
> and simplify_proc. The first two list only predicates that
> their own modules can introduce calls to, but the table
> in simplify_proc lists other predicates as well.
>
> I intend to consolidate all these tables into one table,
> in a new module, because it is easier to check whether
> an entry appears in one table than whether it appears in three
> (or, later, four, five etc) Does anyone object?

No.

> And if not, do you have any preferences as to the name of this new
> module? The name do_not_delete_preds.m would be more accurate than
> may_introduce_calls_to.m, but I don't really like either one.

    introduced_call_table

?

Julien.