Jacques Garrigue

There is no progress bar widget. You can do something similar with the scale widget (but it is more intended as input than output). If the underlying tk library provides...

According to the `opam` file, `conf-tcl` is maintained by the Tcl core team, and issues should go directly to the `opam-repository` database. Looking at the package itself, it seems that...

I agree with @gasche. For let bindings, this has been the specification from the beginning, so better not to change it. For class arguments, the delayed evaluation is more surprising....

I have not yet understood all the details, but this seems that this more a partial compatibility mode than a conservative change. That is, `expand_delaying_deprecated_repr` is only use in some...

> I am not sure what you mean by "... which variables are quantified in each environment". In `value_description` and `class_signature`, isn't it the case that a simple traversal enumerating...

Coqgen (https://github.com/COCTI/ocaml/pull/15) has been rebased on top of this PR, allowing to properly handle local polymorphism.

@charguer Indeed the same problem occurs in coqgen, and my approach is to do the instantiation during the translation, using a specific empty type, which guarantees that no value of...

I see no specific problems, and the result looks good. @gasche might want to have a look at the logic that generate names, since he was the one who introduce...

> Why do we have types with free univars anyway? Is there no surrounding `Tpoly` that binds them? Could we perhaps call `enter_poly` at the point where they are bound...

Thinking about "collecting all univars under a node", this is precisely what `Ctype.compute_univars` does, so performance is not going to be a problem. This is still a fair amount of...