Florian Angeletti

@voodoos , what is the current base of the PR? The failure in the CI looks like #13090 which should have been fixed in the latest trunk.

What about a lowtech approach of having a `cold` subdirectory?

Since this is hard to improve now on the dune side, I will have a look to see if the compiler can at least add the file name to this...

The compiler will emit at least the file location in this deprecation alert starting with OCaml 5.5 (https://github.com/ocaml/ocaml/pull/14176).

Concerning the documentation, we could add a word of caution in the documentation for `Str`, but I am not sure if it is useful to add an alert to specific...

My favorite side-solution is to have a version of `Format` interpreters that takes a heterogeneous list as an argument. This avoids both the need for the `k` continuation variants and...

With a [hlist](https://gist.github.com/Octachron/6d503f5edaad633c4736c222d25e4a61) as argument, we can write the `fatal_error` function as: ```ocaml let fatal_error fmt args = let ppf = Format.err_formatter in fprintf ppf fmt args; fprintf ppf "@."...

I fear that the issue would be more on introducing one definition of heterogeneous list amongst of the many possible versions of heterogeneous list in the standard library which would...

I am more and more convinced that having a function in `Format` which takes a heterogeneous list as arguments would solve many of those usability issues.

One of the advantage of the heterogeneous version is that less variants are needed. A version of `printf`, `eprintf` ,`fprintf` and `asprintf` should be enough. The continuation versions are useful...