[m-rev.] for review: start using input_mode_spec pragmas

[Julien Fischer]

On Sat, 5 Sept 2026 at 05:25, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:

> Start using input_mode_spec pragmas.
>
> compiler/ml_elim_nested.m:
> compiler/quantification.m:
>     Replace manually-written modes that do input specialization
>     with input_mode_spec pragmas.
>
>     For quantification.m, this includes deleting the capability
>     of computing code-gen nonlocals, which was never used on the trunk,
>     and replacing it with a pointer to where in our repositories
>     that code may be found.
>
>     Delete the predicate input arguments that the above process
>     has made unnecessary, and otherwise simplify the affected code.
>
> configure.ac:
>     Require the installed compiler to implement the capability
>     that the above two modules now use.

That's fine.

Julien.