v-gb

Vous en pensez quoi ? Intéressés, pas intéressés ?

Les rectifications de 90 touchent des mots pour mal de raisons différentes, donc c'est difficile à résumer, mais pour donner une idée, les changements sur le repo sont à 96%...

I definitely agree with @Octachron that adding some opens to enable the warning is a net negative. I'll note that warning 40 was purposefully disabled in #8617. It wasn't unanimous...

(I thought this PR was a good candidate for closing because very unlikely to be picked up again, but maybe not) Yeah, that could be a reason to enable warning...

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

> > Although expressions are structure items, `let print_string "a" in ...` is not accepted (it wasn't clear from the description, and I was wondering since `let%foo print_string "a" in...

Even if you're debugging (I was testing, but that's not fundamentally different), "write your own pretty printer" is a non-trivial hurdle, especially if you're not very familiar with the library,...

One specific aspect of the Dynlink library is that linking with it adds --export-dynamic on the linker's command line (by building dynlink.cmxa with something like `ocamlopt -ccopt -Wl,-E`). The effect...

I just looked at 4.14, and the flags are consistent with what I described above. They are, in order: - -Wl,-E early on (no idea why, as that seems unnecessary)...

> For my understanding, what's the scenario which means that -ccopt -Wl,--no-export-symbols is being passed when it shouldn't be? In other words, rather than relying on dynlink.cmxa passing -Wl,-E to...