-
Notifications
You must be signed in to change notification settings - Fork 41
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
Multi modification #3545
Multi modification #3545
Conversation
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 abstain from reviewing the technical content, as this is an area I don't understand well enough.
Co-authored-by: Henrik Tidefelt <[email protected]>
@qlambert-pro does this agree with your understanding? |
FYI @qlambert-pro is on extended parental leave, so don't expect an answer from him in the short term. |
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 believe that is consistent with what we agreed on. I like the examples. Just a souple of suggestions to clarify the text.
Co-authored-by: Elena Shmoylova <[email protected]>
That should now be done. |
@eshmoylova can you re-review to indicate if you agree with the update |
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.
One problem is that redeclarations, constrainedby-clauses, their modifications and how to merge them are not introduced until the next section. Maybe adding some links to the corresponding sections would help?
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.
Looks good. Thank you.
Closes #3474
Note that: