Florian Angeletti
Florian Angeletti
You can keep the information that the pessimization might happen in unknown cases, while mentioning earlier the single known case. But I do believe that the sentences about your reluctance...
My point of view is that this new warning should be cherry-picked to 5.3: the core pattern-matching change is in 5.3, and it doesn't make sense to introduce the warning...
Agreed for #13154 in 5.3, since this would decrease the number of versions of the pattern matching compiler present in released compilers.
This sounds like a statmemprof bug to me, and thus this should be probably cherry-picked to the 5.4 branch .
We have yet to release a beta for 5.4.0, thus every bug fixes are welcome without question. Small remark for next time: for bug fix that will be cherry-picked to...
For the functor variance issue, could we have variance variables at the functor level? My impression is that being able to declare that a functor is transporting (or negating) variances...
Note that the issue is fixed on master, and there is a number of `#include ` before the `#define CAML_INTERNALS` in the v0.17 branch
Indeed, I missed that the release archive was not the source archive of the repository. I will try to fix this shortly. Sorry!
I am still planning to work on those improved multilocation messages.
A reasonable plan might be: 1. Start adding submessages with locations to a handful of error messages to build an inventory of multi-location error messages 2. Restructure error report as...