-
Notifications
You must be signed in to change notification settings - Fork 16
Merge 5.2.0minus-24 #201
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Merge 5.2.0minus-24 #201
Conversation
Compiler Merge ChecklistThis PR seems to merge changes from Flambda. Please be sure to follow the below steps:
If this PR is not merging changes from Flambda, feel free to ignore this comment |
| val fold_modules_lazy: | ||
| (string -> Path.t -> Subst.Lazy.module_declaration -> 'a -> 'a) -> | ||
| Longident.t option -> t -> 'a -> 'a | ||
| val fold_modtypes_lazy: | ||
| (string -> Path.t -> Subst.Lazy.modtype_declaration -> 'a -> 'a) -> | ||
| Longident.t option -> t -> 'a -> 'a |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I intend to make a compiler PR that adds these functions.
dkalinichenko-js
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Overall LGTM, but worth rebasing onto the retag.
| "pos": { | ||
| "line": 344, | ||
| "col": 0 | ||
| "col": 9 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
What's the context for this?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
There's actually no net change here. On main this is 9 (9 is the correct value), but due to the cms thing, the column here changed to 0. When I changed the prioritization order, this changed back to 9. I just happened to promote and commit this test before making the prioritization change (see f1a8cdb).
|
The new commit looks good to me. |
When reviewing, I skip the first 4 commits. These commits run the merge script, commit conflicts, and fix some trivial conflicts that aren't worth reviewing. But everything after f73f8de should be reviewed.
Some comments about this merge:
load_path.mlbecause of the new-I-manifestand-H-manifestparameters (Add manifest files support oxcaml#4986). After discussing with @Forestryks, we concluded that Merlin doesn't need to understand these for now.