[m-rev.] for post-commit review: monomorphize some folds

[Peter Wang]

On Thu, 01 Dec 2022 07:08:21 +1100 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> For review by anyone.
> 
> Next I will try specializing each variant by inlining their
> foldlN_pred_with_status arguments. (These will be different
> for different variants, hence the monomorphization.)
> Once that is done, the variants can be given names that
> reflect that action as well as the fold.
> 
> Zoltan.

> Monomorphize some polymorphic predicates.
> 
> compiler/make.build.m:
>     Replace three polymorphic predicates that fold over lists of values
>     of type T with two, three and five monomorphic predicates respectively.
>     The monomorphic versions fold over lists of elements of specified types.
>     The list of monomorphic versions needed should be useful information for
>     simplifying the make package's overuse of higher order constructs.
> 
>     The replaced predicates were mostly just interfaces to the predicates
>     that looped over the lists. This diff leaves those predicates alone.
> 

That looks okay.

Peter