[m-rev.] for tryout: type_spec_constrained_preds

[Zoltan Somogyi]

On 2024-02-02 15:01 +11:00 AEDT, "Julien Fischer" <jfischer at opturion.com> wrote:
> The fifth sentence of section 11.5 says that such variables *are*
> allowed if functional dependencies are present and the variable's type
> can be determined from other variables. In the case of the
> unboxed_reader type class, the functional dependency
> (Stream, Unit -> Error) is present.

I did not see that.

I will see what I can do about existing code for handling type_spec
pragmas generating that error message.

> I have updated my compiler with the latest modifications and both
> libraries now compile succesfully (at --intermod-opt -O5).

Thank you.

> (Note that I have updated the json library so that the fourth
> specialisation I mentioned is actually relevant.)

May I presume that "both libraries compile successfully" applies
to a version of the library with a type_spec_constrained_preds pragma
for this fourth specialization as well?

While I clean up and document the diff, can you please have a look
at the diff to options.m, and see which wording there you prefer?

Zoltan.