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

[Peter Wang]

On Fri, 02 Dec 2022 18:45:05 +1100 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> 
> 
> On Fri, 2 Dec 2022 18:40:18 +1100, Peter Wang <novalazy at gmail.com> wrote:
> > Actually it broke parallel building of interface and .opt files.
> 
> What exactly do you mean by that? I bootchecked that diff
> with -O5 --intermodule-optimization.

When building a program with mmc --make -jN
interface files and .opt files are being made one at a time,
not in parallel.

Peter