[m-rev.] for tryout: type_spec_constrained_preds

[Julien Fischer]

On Fri, 2 Feb 2024, Zoltan Somogyi wrote:

> 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?

The second one.

Julien.