Florian Angeletti
Florian Angeletti
Possibly, but then we have the issue that `the field r.f` reads a bit strange when the field is `f`. Another option would be to restructure the error message from...
Using `field access` and `method call` is fine with me. I think it is better to keep this PR simple, we can think later if we want to add more...
There is non-trivial conflict with #13169 (because I didn't convert most of the AST printers which are generally used to print immediately). Assuming that #13169 is merged first, @Julow don't...
0. It depends on the intended scope: "Limiting the use of `this` determiner in error messages to improve their accessibility" is an issue that might be solved by a single...
I interpret the heuristic more as "is this expression readable enough to be an object or subject in an English sentence?" but this is a minor nuance.
Being able to coerce patterns and not only expressions seem potentially interesting. I am not sure if we should copy the expression syntax however. For instance, `0 : positive :>...
> The presence of a .cmi really is weird imo and not very user friendly Why is the presence of a cmi file weirder than the presence of a mli...
There are no compiler internals here, a cmi file is an explicit object that is explicitly consumed by the compiler CLI. It might be that cmi files are build system...
Good point. I agree that from within a project or a source tree, the command line argument is implicitly part of the state of the source tree. It makes sense...
See #12052 for a heuristic to retrieve a source file from a compiled interface .