Florian Angeletti

The probable version would probably be more `5.4` since we are getting close to the feature freeze for `5.3` (see [introduction.md](../blob/trunk/release-info/introduction.md) for the meaning of version number). The name `HetList`...

I am not sure which issue you see with defining the `Arg_list` module inside `Format`. At most, it would shadow other modules names `Arg_list` after opening the `Format` module.

Scanf is another potential secondary user but with less clear benefits since it would produce a heterogeneous list rather than consume a short-lived literal.

I was more thinking of writing `let [foo;bar;baz] = Scanf.scanf "%d.%d.%d" ` , but yes this is at most an afterthought let for later.

User feedback is welcome and I agree that I failed to give feedback on the feature request, sorry about that. Overall, I agree (as always) that it would be better...

My personal opinion is that a typechecker hint that needs to be hidden behind an option is not worth my time implementing it. In particular in this area, any improved...

First, a major issue is that interface files and implementations don't need to define items in the same order. Consequently, comparing an implementation that fails to typecheck to an interface...

The idea of possibly reusing module type location is still on my investigation list, but this seems fair to close the original feature request which was not that closely related.

This is was probably a bug in presence of `-short-paths`, which is enabled by default in `utop` but not in the standard REPL. I am closing the issue, since I...

I have updated the calendar in order to give an idea of the feature freeze date for 5.5 and 5.6, because it does sound like a good idea to maintain...