Jacques Garrigue
Jacques Garrigue
I see no problem on the principality side. To follow-up on the discussion in #9952, which I did not attend, (local) ambiguity and principality are two different problems. Local ambiguity...
I believe @lpw25 or @gasche should be competent...
Moved the generalization inside `update_type`.
Actually, if we still have time, it would be nice to include this one in 5.2.1, because the regression first appeared in 5.2.0.
Ok, if this is just a month difference, this is probably fine.
It looks like my mail did not go to the caml-devel discussion, so I write it here. I’m sorry to be very slow to react. While I am fine with...
> Further, because these things are structurally typed, not nominally typed, associating them with tuples rather than records feels natural to me. I think it would be a little duplicative...
@mseri Thanks, I didn't know of this fine grain way to pass command line arguments to make.
Why is it that the tests do not run after merging your suggested change ?
This problem actually comes from your use of a functor. Namely, `update_level`, the function tracking the scope of type variables, uses the variance inferred for types to decide whether it...