Florian Angeletti

Writing down a a list of error messages that could have more submessages (with locations) would be a probably fruitful endeavor. It might be even better to add those submessages.

The code looks correct from afar (I am unfortunately less familiar with emacs than with the compiler), however I am not been able to reproduce the bug report yet. @juergenhoetzel...

I finally found the time to test the fix, sorry for the wait ! I have merged the PR and it should be part of the upcomong 2.16.0 release this...

For regularity's sake, I believe it is better to retarget the PR to trunk, and then cherry-pick it to 5.2 and 5.3.

Ok, for waiting for @OlivierNicole to be back from holidays to confirm he converts his previous review comment to a formal approval.

@gasche , the positivity/negativity information is the usual concept of positive/negative position for subtyping used for parameter variance. In particular, strict positivity is the same in both case sand denotes...

With @gasche agreeing with the refactoring inside `Includemod`, the PR looks fine to me. I propose to move forward and merge this PR (and cherry-pick it to 5.3) once we...

Since this an already rejected feature wish without any further arguments to support it nor references to previous discussions (and with even more possibility of segfaults than previous propositions), I...

I agree with the stale bot on this matter: it is better to encourage people to switch to ocamldoc rather than rewriting the ocamlodoc lexer.

The `parsetree_change` looks for changes in the parsetree. The issue here is that the change is in a dependency of the parsetree while the parsetree itself is untouched. Extending the...