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

[Julien Fischer]

On Fri, 9 Feb 2024, Zoltan Somogyi wrote:

> There are two rotds with the commit that this diff requires.
>
> My laptop's timings are too variable to be able to measure
> the speed impact of this diff. For tools/speedtest, I got a 0.7%
> speedup; for tools/bootcheck -j6, approx the same slowdown.
> If someone with a less volatile machine could try it out,
> I would be grateful.

I will do so. I did try an earlier version of this change out on my JSON
library and got a very small speedup. I have some theories about why
this is, but need to have closer look at what the compiler is doing.

Question: is there a definitive list of what's allowed to appear inside
.opt files somewhere? The list given in the comment at the top of
compiler/intermod.m is incomplete: it doesn't mention typeclasses or
instances for example.

The diff looks fine.

Julien.