Florian Angeletti
Florian Angeletti
Concerning the special status of `true` and `false` after #13560, my opinion is that we could start by forbidding `\#true` and `\#false` to reflect the fact that `true` and `false`...
I agree that the singleton syntax feels too ambiguous. The `branch` seems okish to me, but I am not sure how common is the situation that you describe. Do you...
I was wondering if it would make sense to create a `notty-community` fork as a version of notty which accepts community patches?
The first setence looks useful from my point of view. The second sentence feels a bit unrelated to the issue at hand, since this more the classical problem of nesting...
An important point that might be hard to infer from the comment above, but my two remarks are the only remaining cases in the testsuite where I have the feeling...
Cherry-picked to the 5.2 branch as 71d85e068d in prevision of the upcoming 5.2.1 release.
Note that the weakening of `mcomp` will change some errors on recursive modules due to the use of `mcomp` to detect inconsistent type declarations between the implementation and the signature...
I am not sure if it was really needed to get back to the previous version of `mcomp`, but it makes the code easier to review since I was previously...
This is partially the expected behavior: this is the kind of use patterns that can be used to make the typechecker prove that [there are no knight-tour on a 4x3...
The code is correct and I agree that it is better to align the emacs mode with the standard mode.